aboutsummaryrefslogtreecommitdiff
path: root/doc/todo/generate_HTML5_by_default.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'doc/todo/generate_HTML5_by_default.mdwn')
-rw-r--r--doc/todo/generate_HTML5_by_default.mdwn2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/todo/generate_HTML5_by_default.mdwn b/doc/todo/generate_HTML5_by_default.mdwn
index f8d598cc1..56041d9d3 100644
--- a/doc/todo/generate_HTML5_by_default.mdwn
+++ b/doc/todo/generate_HTML5_by_default.mdwn
@@ -59,3 +59,5 @@ At the moment my preferred option is the last, for which see my `ready/html5`
branch. I'll apply this at some point if there are no objections.
--[[smcv]]
+
+> [[merged|done]] --[[smcv]]