[gtksourceview] (5 commits) ...Merge branch 'lean' into 'master'

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

Summary of changes:

  876ce12... lean.lang: lower the priority of the identifier context
  890aed5... lean.lang: improve the highlighting of commands
  61b90d4... lean.lang: various clean-ups
  0f24667... lean.lang: add a few more keywords
  e6f6f4e... Merge branch 'lean' into 'master'

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