]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d0673d) | 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)
commit61ba0c2fdf684d7b0bcc7b75b3552a0023f5d875
tree01267da12d2d7c3332aab5775429793d2ce2a588tree | snapshot
parent1d0673d5b819ed2600271b10ba964bbf093288f5commit | 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`,
  ...)
helm/software/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.