]> matita.cs.unibo.it Git - helm.git/commit
added LICENSE files (LICENSE-INRIA if for ocaml-io.h)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Nov 2002 11:22:45 +0000 (11:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Nov 2002 11:22:45 +0000 (11:22 +0000)
commit8520dc58edfd1594978202077d4bdf04047da031
treecaa030841a6aebf7b3a31991d6da8f639e80c7ee
parentc5a95846580d7004466ca5e70cfdd25e5ac839a2
added LICENSE files (LICENSE-INRIA if for ocaml-io.h)
helm/DEVEL/gdome_xslt/LICENSE [new file with mode: 0644]
helm/DEVEL/gdome_xslt/LICENSE-INRIA [new file with mode: 0644]