matita.cs.unibo.it Git - helm.git/blob - 027.ent

]> matita.cs.unibo.it Git - helm.git/blob - 027.ent

projects / helm.git / blob

36a54662bb29d4473ec69c4cb1c9b734bf6c21d4

[helm.git] / 027.ent

1 <!ENTITY % e "">

2 <!ELEMENT doc (#PCDATA %e;)>

Unnamed repository; edit this file 'description' to name the repository.