]> matita.cs.unibo.it Git - helm.git/commit
added configure time values SRCROOT and DISTRIBUTED
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 10:51:44 +0000 (10:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 10:51:44 +0000 (10:51 +0000)
commit8691b562846849802c3829505ba487c1d26df1d0
tree263a147ae3d614b43c9efe72a4341fd811f9192b
parent2e09645bbc7834a6d76f43b6daae7864bcf46a71
added configure time values SRCROOT and DISTRIBUTED
helm/software/Makefile.defs.in
helm/software/configure.ac