From f927976561eb4cde91de5fc8ee98b4f807dce461 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Mail=C3=A4nder?= Date: Tue, 11 Aug 2026 20:11:16 +0200 Subject: [PATCH] Add Theia IDE. --- config/Mailaender/theia-bin.yaml | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 config/Mailaender/theia-bin.yaml diff --git a/config/Mailaender/theia-bin.yaml b/config/Mailaender/theia-bin.yaml new file mode 100644 index 00000000..de21b0b6 --- /dev/null +++ b/config/Mailaender/theia-bin.yaml @@ -0,0 +1,7 @@ +nvchecker: + github: eclipse-theia/theia-ide + source: github + use_latest_tag: true + prefix: v +test: true +oldver: 1.73.100