]> matita.cs.unibo.it Git - helm.git/blob - 083.xml
projects / helm.git / blob
? search:


8d6ff96792c0f33af1586b4c9abef4db73bcb4a6
[helm.git] / 083.xml
1 <!DOCTYPE doc [
2 <!ENTITY e SYSTEM "nul" NDATA n>
3 ]>
4 <doc>&e;</doc>
Unnamed repository; edit this file 'description' to name the repository.