]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0e5841) | patch
Fixed stupid path
authordenes <??>
Thu, 18 Jun 2009 11:43:51 +0000 (11:43 +0000)
committerdenes <??>
Thu, 18 Jun 2009 11:43:51 +0000 (11:43 +0000)
commit062e26282e636bb9bb8894466b56aa62e346016d
tree7340db9d69076eb0edab3c6708b0f7b29b871cfftree | snapshot
parentf0e5841f5bb418fbc9e1dd11471b0bab2f35f78bcommit | diff
Fixed stupid path
helm/software/matita/contribs/ng_TPTP/run_veloci.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.