]> Git — Sourcephile - doclang.git/commit
Add KeyDot.
authorJulien Moutinho <julm+tct@autogeree.net>
Thu, 26 Oct 2017 21:20:02 +0000 (23:20 +0200)
committerJulien Moutinho <julm+tct@autogeree.net>
Thu, 26 Oct 2017 22:05:59 +0000 (00:05 +0200)
commit70a0b36910ef1a8d5c2810a9712e0d15267908e9
treef2bec5eb1210624af5722511c29742ecda099a42
parent9aaeb6392c206e20b24ab26beeceff946c7144b0
Add KeyDot.
Language/TCT/Read/Tree.hs
Language/TCT/Write/DTC.hs
Language/TCT/Write/HTML5/Source.hs