]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f7e3b7) | patch
added LICENSE files
authorLuca Padovani <luca.padovani@unito.it>
Mon, 15 Jan 2001 08:49:43 +0000 (08:49 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 15 Jan 2001 08:49:43 +0000 (08:49 +0000)
commit722660d9017f25c9a33df41442ae67f2561de0c8
tree647658e6033d368779c3b625fac48904f942b796tree | snapshot
parent8f7e3b73f8bc15cabcb2b6e84e73b5e611b1d548commit | diff
added LICENSE files
helm/helm_data/LICENSE [new file with mode: 0644] blob
helm/helm_data/LICENSE.ml [new file with mode: 0644] blob
helm/helm_data/LICENSE.script [new file with mode: 0644] blob
helm/helm_data/LICENSE.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.