From f76c5dd1da43b72bfb7a8918d9d02ee834a73117 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 14 Feb 2023 19:45:13 +0100
Subject: .meta/finde-extras: Variante_... ist ein Extra

---
 .meta/find-extras | 1 +
 1 file changed, 1 insertion(+)

(limited to '.meta/find-extras')

diff --git a/.meta/find-extras b/.meta/find-extras
index b93b95f..083f645 100755
--- a/.meta/find-extras
+++ b/.meta/find-extras
@@ -11,6 +11,7 @@
     s/^STR_//
     t
     /^mit-/ b
+    /^Variante_/ b
     '"${ALLE_EXTRAS:+p}"'
     d
   '
-- 
cgit v1.2.3-54-g00ecf