]> matita.cs.unibo.it Git - helm.git/commit
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
treee6d9b9a42ae336ddcf5217b453a96f61a6982dbe
parent742332c845b599fbdaa86a02e21a5f223a4783f9
added build time configuration of the whole components/ dir
helm/ocaml/extlib/.depend
helm/ocaml/extlib/Makefile
helm/ocaml/extlib/componentsConf.ml.in [new file with mode: 0644]
helm/ocaml/extlib/componentsConf.mli [new file with mode: 0644]