]> Git — Sourcephile - doclang.git/commit
Fix <about> <name> insertion.
authorJulien Moutinho <julm+tct@autogeree.net>
Wed, 25 Oct 2017 03:18:12 +0000 (05:18 +0200)
committerJulien Moutinho <julm+tct@autogeree.net>
Wed, 25 Oct 2017 03:21:18 +0000 (05:21 +0200)
commit0aafdc73d2d06ebb7ab7cfc061dc1a766d4a51e3
treef1cee5a724d5347df4fcad2f3503ff3697b368d8
parent075d32e6142fa4d10434f7db8a414aef0de9aca8
Fix <about> <name> insertion.
Language/TCT/Write/DTC.hs