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


6718e5cdac4e55cd8e77b87d34267e070adaaab0
[helm.git] / 017.ent
1 <!ELEMENT doc (#PCDATA)>
2 <!ENTITY % e "<!ATTLIST doc a1 CDATA 'v1'>">
3 %e;
Unnamed repository; edit this file 'description' to name the repository.