]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f103a41) | patch
Added Files:
authorLuca Padovani <luca.padovani@unito.it>
Thu, 18 Jan 2001 13:55:34 +0000 (13:55 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 18 Jan 2001 13:55:34 +0000 (13:55 +0000)
commit844c5f915d4d22860f14be656321bf7218c036fa
tree0e6adc6193e77d7587645bb2b6e23a5c19209acetree | snapshot
parentf103a41462eb6e55cb81c43dac13575da313a3ddcommit | diff
Added Files:
helm-config.in
helm/configuration/helm-config.in [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.