diff options
| author | Elias Aebi <353-eyelash@users.noreply.gitlab.gnome.org> | 2022-07-24 13:23:42 +0200 |
|---|---|---|
| committer | Elias Aebi <353-eyelash@users.noreply.gitlab.gnome.org> | 2022-07-26 13:59:38 +0200 |
| commit | b9c6b330192270882677fe622498b3a875a33357 (patch) | |
| tree | b4fc3ee319cd77d67049747cbf17770687a7887e /data | |
| parent | 817b6fc32f49fd3cb2bc1962e37ce8bca63f8999 (diff) | |
| download | gtksourceview-b9c6b330192270882677fe622498b3a875a33357.tar.gz | |
lean.lang: add the partial keyword
Diffstat (limited to 'data')
| -rw-r--r-- | data/language-specs/lean.lang | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/data/language-specs/lean.lang b/data/language-specs/lean.lang index 4060db58..8dac67d9 100644 --- a/data/language-specs/lean.lang +++ b/data/language-specs/lean.lang @@ -90,6 +90,7 @@ <keyword>mut</keyword> <keyword>namespace</keyword> <keyword>open</keyword> + <keyword>partial</keyword> <keyword>return</keyword> <keyword>section</keyword> <keyword>structure</keyword> |