diff options
author | Elias Aebi <353-eyelash@users.noreply.gitlab.gnome.org> | 2022-12-18 10:10:18 +0100 |
---|---|---|
committer | Christian Hergert <christian@hergert.me> | 2022-12-22 22:41:07 +0000 |
commit | add6d1dada857e1244931c90e721a6a85bfce984 (patch) | |
tree | 7d46fca749ca2696e12d4352b2ea0becb30adbe4 /data | |
parent | 0315e1b29929908e04e53a78453a3b582d206cea (diff) | |
download | gtksourceview-add6d1dada857e1244931c90e721a6a85bfce984.tar.gz |
lean.lang: strings may contain line breaks
Diffstat (limited to 'data')
-rw-r--r-- | data/language-specs/lean.lang | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/language-specs/lean.lang b/data/language-specs/lean.lang index 3fac5b49..643a9cd7 100644 --- a/data/language-specs/lean.lang +++ b/data/language-specs/lean.lang @@ -130,7 +130,7 @@ </match> </context> - <context id="string" style-ref="string" end-at-line-end="true" class="string" class-disabled="no-spell-check"> + <context id="string" style-ref="string" class="string" class-disabled="no-spell-check"> <start>"</start> <end>"</end> <include> |