diff options
| author | Johannes Altmanninger <aclopte@gmail.com> | 2022-01-29 03:57:22 +0100 |
|---|---|---|
| committer | Johannes Altmanninger <aclopte@gmail.com> | 2022-03-06 09:49:55 +0100 |
| commit | 1c2e1e10904f83f98b49bed04a945ffd82a35312 (patch) | |
| tree | e88691f185c430f71124cc11e887c01c16e38767 | |
| parent | 1d6476d32959d47ff3340c5b9ec9951f0d7497ff (diff) | |
rc diff: fix style
This line was unindented by accident (I was rushing..)
| -rw-r--r-- | rc/filetype/diff.kak | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rc/filetype/diff.kak b/rc/filetype/diff.kak index bb9e21d6..35825a6c 100644 --- a/rc/filetype/diff.kak +++ b/rc/filetype/diff.kak @@ -161,7 +161,7 @@ define-command \ execute-keys '"ez' } catch %{ execute-keys '"oz' - fail 'Not in a diff file' + fail 'Not in a diff file' } } } |