]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a7ec1a) | patch
added LICENSE files to be included in the HELM sources
authorLuca Padovani <luca.padovani@unito.it>
Mon, 15 Jan 2001 15:19:46 +0000 (15:19 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 15 Jan 2001 15:19:46 +0000 (15:19 +0000)
commit78d5a52a5b9af28316289982416e7cb5b642ee8d
tree8142a49fcbc02086f6b8faeea42a7c6f405afe27tree | snapshot
parent5a7ec1a3e9cea3050ad08b2f6f57c0dad2d5a632commit | diff
added LICENSE files to be included in the HELM sources
helm/helm_data/LICENSE diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.