summaryrefslogtreecommitdiff
path: root/src/util.mli
AgeCommit message (Expand)Author
2015-04-24Make find_xml_child return Xml.xml option rather than raise Not_found.Daniil Baturin
2015-04-23Quick and dirty path pretty printer.Daniil Baturin
2015-04-22Add a function for looking up xml-light tag children.Daniil Baturin