[gtksourceview: 2/3] lean.lang: add the partial keyword

[Christian Hergert <chergert src gnome org>]

commit b9c6b330192270882677fe622498b3a875a33357
Author: Elias Aebi <353-eyelash users noreply gitlab gnome org>
Date:   Sun Jul 24 13:23:42 2022 +0200

    lean.lang: add the partial keyword

 data/language-specs/lean.lang | 1 +
 1 file changed, 1 insertion(+)
---
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>