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 | |
| parent | 2272830b61ab08f6ae0c58379260986003d4b64e (diff) | |
close
| -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]] |