]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1aef3ed) | patch
Don't use configuration.pl any more (does it work anyway?)
authorLuca Padovani <luca.padovani@unito.it>
Mon, 20 Nov 2000 12:11:19 +0000 (12:11 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 20 Nov 2000 12:11:19 +0000 (12:11 +0000)
commit4b5873b80dafe4b009ba71cbe6f4a95e8b59dcaf
tree74a4568c6b0cff820d922cfdc93db64c0eb0512ftree | snapshot
parent1aef3ed7a65337337828a25630b0097f81ae31cbcommit | diff
Don't use configuration.pl any more (does it work anyway?)
use_webeqp.pl webeqp.pl
helm/cgi/use_webeqp.pl diff | blob | history
helm/cgi/webeqp.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.