[gtksourceview: 5/5] Merge branch 'lean' into 'master'

From: Christian Hergert <chergert src gnome org>
To: commits-list gnome org
Cc:
Subject: [gtksourceview: 5/5] Merge branch 'lean' into 'master'
Date: Mon, 5 Sep 2022 22:24:53 +0000 (UTC)


commit e6f6f4e80b9f571e43b3f9fc9f514775aaabdff4
Merge: 5a1ed614 0f24667e
Author: Christian Hergert <christian hergert me>
Date:   Mon Sep 5 22:24:52 2022 +0000

    Merge branch 'lean' into 'master'
    
    lean.lang: various fixes and clean-ups
    
    See merge request GNOME/gtksourceview!283

 data/language-specs/lean.lang | 55 +++++++++++++++++++++++--------------------
 1 file changed, 29 insertions(+), 26 deletions(-)
---

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]