]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/gdome_xslt/LICENSE
Bug fixed: we used to use iterators on a text that was modified, making
[helm.git] / helm / DEVEL / gdome_xslt / LICENSE
2002-11-29 Stefano Zacchiroliadded LICENSE files (LICENSE-INRIA if for ocaml-io.h)