[gtksourceview] (2 commits) ...lean.lang: add LEAN language specification

From: Christian Hergert <chergert src gnome org>
To: commits-list gnome org
Cc:
Subject: [gtksourceview] (2 commits) ...lean.lang: add LEAN language specification
Date: Fri, 17 Sep 2021 20:48:11 +0000 (UTC)

Summary of changes:

  46c6c21... lean.lang: add LEAN language specification
  e990def... lean.lang: add LEAN language specification