]> Git — Sourcephile - doclang.git/commit
Add <ref> and <rref> DTC writing.
authorJulien Moutinho <julm+tct@autogeree.net>
Sat, 4 Nov 2017 10:17:48 +0000 (11:17 +0100)
committerJulien Moutinho <julm+tct@autogeree.net>
Sat, 4 Nov 2017 10:30:08 +0000 (11:30 +0100)
commit6f8e3086ab712bb0f8ad504ba8c9276c60d31f6d
tree239ba79f4592acfb38e02391dcf1aea8d3725b56
parent37015ff1370060c3f3087ac35f107c9d66bea672
Add <ref> and <rref> DTC writing.
Language/TCT/Write/DTC.hs