]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eadfe34) | patch
rm rendering attrs
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 08:45:36 +0000 (08:45 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 08:45:36 +0000 (08:45 +0000)
commit8143bd09a92b3a1564e19c449e82c1ef4377f888
tree0316041da7b252a9dc3ebcfd9a673421d2837f47tree | snapshot
parenteadfe344d5c6958cd9a989b662cc538d281dae67commit | diff
rm rendering attrs
matitaB/components/content_pres/.depend diff | blob | history
matitaB/components/content_pres/renderingAttrs.ml [deleted file] blob | history
matitaB/components/content_pres/renderingAttrs.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.