[gtksourceview] (3 commits) ...Merge branch 'lean-identifiers' into 'master'
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtksourceview] (3 commits) ...Merge branch 'lean-identifiers' into 'master'
- Date: Tue, 26 Jul 2022 20:37:15 +0000 (UTC)
Summary of changes:
817b6fc... lean.lang: fix highlighting of identifiers
b9c6b33... lean.lang: add the partial keyword
e40e027... Merge branch 'lean-identifiers' into 'master'
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
