aboutsummaryrefslogtreecommitdiff
path: root/contrib/xml
ModeNameSize
-rw-r--r--README5663logplain
-rw-r--r--Xml.v1744logplain
-rw-r--r--xml.ml3122logplain
-rw-r--r--xml.mli2210logplain
-rw-r--r--xmlcommand.ml32460logplain
-rw-r--r--xmlcommand.mli3229logplain
-rw-r--r--xmlentries.ml2192logplain