diff options
author | Joey Hess <joey@kitenet.net> | 2014-02-20 16:24:17 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-02-20 16:24:17 -0400 |
commit | f56c02cbf5170cba891c2b42339fb2f77a0eb2a0 (patch) | |
tree | b06b81544865fbdb314ea1cd8d9f2f6f40eca6c4 /doc/bugs/Matching_oddity_in_SafeCommand.hs.mdwn | |
parent | 2272830b61ab08f6ae0c58379260986003d4b64e (diff) |
close
Diffstat (limited to 'doc/bugs/Matching_oddity_in_SafeCommand.hs.mdwn')
-rw-r--r-- | doc/bugs/Matching_oddity_in_SafeCommand.hs.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/bugs/Matching_oddity_in_SafeCommand.hs.mdwn b/doc/bugs/Matching_oddity_in_SafeCommand.hs.mdwn index c65c8ac0b..53bba4a9b 100644 --- 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]] |