commit | 8a66c820abc4478b5247795fbf2fecedf3e1acf3 | [log] [tgz] |
---|---|---|
author | Benno Schulenberg <bensberg@justemail.net> | Sat Nov 12 13:00:09 2016 +0100 |
committer | Benno Schulenberg <bensberg@justemail.net> | Sat Nov 12 13:00:09 2016 +0100 |
tree | ada240eeaf402eec465783f436ac224956329a4c | |
parent | af0f81f71d220e483fcb5a955ac3718bd3ab681a [diff] |
syntax: don't leave the number after 'fill' and 'tabsize' in red Also, don't use ignore-case for things that don't contain letters.