]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0835fcc) | patch
- added src_root build time configuration value
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 23 Feb 2006 21:31:23 +0000 (21:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 23 Feb 2006 21:31:23 +0000 (21:31 +0000)
commiteacf3561d042cb11c73962ca8521004f66f03940
treeb2e9c2d575218268ca58102a2c21038cbdc9e413tree | snapshot
parent0835fcca50e122239b67fd1eadf13cd88da8f4d2commit | diff
- added src_root build time configuration value
- added the disclaimer "ComponentsConf should not be here"
helm/software/components/extlib/componentsConf.ml.in diff | blob | history
helm/software/components/extlib/componentsConf.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.