]> Git — Sourcephile - doclang.git/commit
Fix XML merging.
authorJulien Moutinho <julm+hdoc@autogeree.net>
Sun, 6 May 2018 01:46:03 +0000 (03:46 +0200)
committerJulien Moutinho <julm+hdoc@autogeree.net>
Sun, 6 May 2018 01:46:03 +0000 (03:46 +0200)
commit68e7c2052b791d489cd7bb0d4f5946cf1a62111c
tree268b63f1c8a04f8546575e043e4c92637b57f6b5
parent42fabdc8a9a844ea4b564ab25707ae2439106a0b
Fix XML merging.
Language/TCT/Write/XML.hs