]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31eedfb) | patch
- no longer need to dynamically discover if the components dir is libs/ or
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:44:40 +0000 (15:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:44:40 +0000 (15:44 +0000)
commit92f5310c7a4749f3fb0d0246707b9ac7ce01819f
treee606e82b3423ff6ceb45640111967f934e7db08btree | snapshot
parent31eedfb7bef43a92231962a4322b8ebf59e186a7commit | diff
- no longer need to dynamically discover if the components dir is libs/ or
  ocaml/: now it is components/(!)
- reverted default settings to the devel ones (debugging on, runtime dir=`pwd`,
  ...)
configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.