]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e1c764) | patch
build temporary library in software/matita/.matita (instead of software/.matita)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 17:14:49 +0000 (17:14 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 17:14:49 +0000 (17:14 +0000)
commit78915278935bcbd5ad7023a358e6e6d39c46f970
tree9044e4b596603976161a413af48bfa3d1a3212c2tree | snapshot
parent3e1c76415ff8bebdb06791f03390345a0df8dfd9commit | diff
build temporary library in software/matita/.matita (instead of software/.matita)
helm/software/matita/matita.conf.xml.build.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.