]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0a8a10) | patch
Minor change.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:51:43 +0000 (10:51 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:51:43 +0000 (10:51 +0000)
commite3ed04fe2299bdb814ee077e60f1046a86156982
tree6b0c4017aff501874b1aa48da506cd74908e1dcbtree | snapshot
parentd0a8a10b94687500347e677bcfd14b0016c775b4commit | diff
Minor change.
components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.