]> matita.cs.unibo.it Git - helm.git/commit
split configure.ac in two parts: ocaml and gTopLevel
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 Feb 2004 12:29:10 +0000 (12:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 Feb 2004 12:29:10 +0000 (12:29 +0000)
commit43791584692853e980f96b58f36fdfb9c316728f
treeea749d2d64da0805e5b5da3ee255054cfbb521db
parent9f60b3b0f4460aec52ec241037f6c475b421dd15
split configure.ac in two parts: ocaml and gTopLevel
helm/gTopLevel/.cvsignore
helm/gTopLevel/configure.ac [new file with mode: 0644]
helm/ocaml/configure.ac