]> 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)
commit76731d4c2f47675a0ad18b4206692baac810fa4c
treecf9ce4c590f16476ea36fc821ce3eeee65c8e099
parent54c317dbd0278e9d17543743e66905c656d6a8ac
added configure time values SRCROOT and DISTRIBUTED
Makefile.defs.in
configure.ac