]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfb99fd) | patch
Makefile.in: improved support for autoconf
authorLuca Padovani <luca.padovani@unito.it>
Wed, 10 Jan 2001 11:00:53 +0000 (11:00 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 10 Jan 2001 11:00:53 +0000 (11:00 +0000)
commit8f7e3b73f8bc15cabcb2b6e84e73b5e611b1d548
tree4c1ae3161bf7cc622e9d57be9b9cae6cd9d70cd1tree | snapshot
parentdfb99fda45c1cd87a7c2fedcebb987f3220e0516commit | diff
Makefile.in: improved support for autoconf
configure.in: added checks for minidom, lablgtk, lablgtkmathview
helm/interface/Makefile.in diff | blob | history
helm/interface/configure.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.