]> matita.cs.unibo.it Git - helm.git/commit
patched configure.in for Debian (different location of mlvalues.h)
authorLuca Padovani <luca.padovani@unito.it>
Mon, 22 Jan 2001 10:00:38 +0000 (10:00 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 22 Jan 2001 10:00:38 +0000 (10:00 +0000)
commitec4278cb76dd6238be23a8883cd85f152d7c1ac7
treef97ec4ce178d9540f8fa2ab9cb96ee441f5d83af
parentef691769242d8f00f0984c415f5c5e00c07144ea
patched configure.in for Debian (different location of mlvalues.h)
helm/DEVEL/mlminidom/Makefile.in
helm/DEVEL/mlminidom/configure.in