]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18ae90d) | patch
added $(USER) so that the night bench can override it (and not put garbage in MY...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 23 Sep 2006 15:44:14 +0000 (15:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 23 Sep 2006 15:44:14 +0000 (15:44 +0000)
commit194661b6aefe7d77987be1cc76ec8508eeea4339
treeee3f64aaa69ac4a19a68b50e35f31648e34feb6etree | snapshot
parent18ae90dba18e6abf64b89a8cd0e367ec2b558f3bcommit | diff
added $(USER) so that the night bench can override it (and not put garbage in MY sql tables)
matita/matita.conf.xml.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.