]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 742332c) | patch
added build time configuration of the whole components/ dir
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:14:49 +0000 (15:14 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:14:49 +0000 (15:14 +0000)
commit0a998291d3c67c8688fa99954bcaee1b91afbf19
treee6d9b9a42ae336ddcf5217b453a96f61a6982dbetree | snapshot
parent742332c845b599fbdaa86a02e21a5f223a4783f9commit | diff
added build time configuration of the whole components/ dir
helm/ocaml/extlib/.depend diff | blob | history
helm/ocaml/extlib/Makefile diff | blob | history
helm/ocaml/extlib/componentsConf.ml.in [new file with mode: 0644] blob
helm/ocaml/extlib/componentsConf.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.