From 7087ca547918da98e0ae37a0bedf938499d2bca5 Mon Sep 17 00:00:00 2001 From: Valeri Date: Sun, 14 May 2023 01:45:36 +0300 Subject: [PATCH] README.md: note GNOME Builder plugin included upstream --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 86819b74..a90ea859 100644 --- a/README.md +++ b/README.md @@ -151,6 +151,7 @@ endif ### GNOME Builder - requires GNOME Builder >= 3.35 +- - GNOME Builder >= 3.41 comes with plugin preinstalled and enabled - Running `ninja -C build install` should install the third-party plugin to `$PREFIX/lib/gnome-builder/plugins`. Enable `Vala` and disable `GNOME Vala Language Server`. ### Kate