diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-08-09 19:33:14 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-08-09 19:33:14 +0200 |
| commit | 034fd21093b8f10bf4808c48d02d3836da897465 (patch) | |
| tree | 2d46142c4c8263c4429e38957f74fa1c32a29b2a | |
| parent | 49366044d05b351706d132685d1862f37af57dff (diff) | |
Mark ? entries as TODO
| -rw-r--r-- | contrib/syntax/mintage.vim | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/syntax/mintage.vim b/contrib/syntax/mintage.vim index d4cb533..8096f16 100644 --- a/contrib/syntax/mintage.vim +++ b/contrib/syntax/mintage.vim @@ -6,3 +6,4 @@ let b:current_syntax = 'mintage' syntax keyword Keyword BEGIN CIRC BU PROOF syntax match Label /[^\s]\+\*\?:/ syntax match Number /[0-9\.]\+/ +syntax match Todo /?/ |