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


4bd7314636efc45729636e2ec02b8df13f2892ba
[helm.git] / 006.ent
1 <!ENTITY % e "(#PCDATA)>">
2 <!ELEMENT doc %e;
Unnamed repository; edit this file 'description' to name the repository.