close

2014-02-20 16:24:17 -04:00 · 2014-02-20 16:24:17 -04:00 · e84e99061b
commit e84e99061b
parent 84657b591c
1 changed files with 2 additions and 0 deletions
--- a/doc/bugs/Matching_oddity_in_SafeCommand.hs.mdwn
+++ b/doc/bugs/Matching_oddity_in_SafeCommand.hs.mdwn
@ -24,3 +24,5 @@ I would use:
 """]]

 or something similar instead.
+
+> [[done]]