diff options
-rwxr-xr-x | jimmy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jimmy b/jimmy index 5632b5e..26f95d5 100755 --- a/jimmy +++ b/jimmy | |||
@@ -74,7 +74,7 @@ filter_buff() { | |||
74 | sed -e "s/$nl/\n/g" -e "s/$sp/ /g" | # fix whitespace | 74 | sed -e "s/$nl/\n/g" -e "s/$sp/ /g" | # fix whitespace |
75 | sed 's#\*\([^*]*\)\*#<b>\1</b>#g' | # *strong* | 75 | sed 's#\*\([^*]*\)\*#<b>\1</b>#g' | # *strong* |
76 | sed 's#_\([^_]*\)_#<i>\1</i>#g' | # _emph_ | 76 | sed 's#_\([^_]*\)_#<i>\1</i>#g' | # _emph_ |
77 | sed 's#`\([^`]*\)`#<code>\1</code>#' # `code` | 77 | sed 's#`\([^`]*\)`#<code>\1</code>#' | # `code` |
78 | cat | 78 | cat |
79 | ;; | 79 | ;; |
80 | (*) cat ;; | 80 | (*) cat ;; |