]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1dbfbc) | patch
Bugs fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 31 Oct 2005 09:02:06 +0000 (09:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 31 Oct 2005 09:02:06 +0000 (09:02 +0000)
commit90726a9d315302213f1b0fae9e11a194a758a6e8
tree6de4da99b536b168b98d375c31d31afc91b11133tree | snapshot
parenta1dbfbc43a9f01eaf64d4f2cc66d6be1ac6943cecommit | diff
Bugs fixed.
helm/matita/scripts/crontab.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.