]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b19b18c) | patch
Checks for mlminidom and lablgtk added.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Nov 2001 16:04:38 +0000 (16:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Nov 2001 16:04:38 +0000 (16:04 +0000)
commit5585bda1a144c5453c6ff1a1384176279246ef99
tree8efc1f5e0b05bedd5038336d97a8e4dee2d84005tree | snapshot
parentb19b18cf88d7cacc8adc438ed014bcfe95fa51facommit | diff
Checks for mlminidom and lablgtk added.
helm/DEVEL/lablgtkmathview/configure.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.