diff options
author | Erich Eckner <git@eckner.net> | 2023-02-14 19:45:13 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2023-02-14 19:51:41 +0100 |
commit | f76c5dd1da43b72bfb7a8918d9d02ee834a73117 (patch) | |
tree | d4f5cea0cc7fb9914ef23ca029879d011cdc4d8d /.meta/find-extras | |
parent | 1397023740f50d858eba0911bb66f0cc8cb6ff32 (diff) | |
download | Musik-f76c5dd1da43b72bfb7a8918d9d02ee834a73117.tar.xz |
.meta/finde-extras: Variante_... ist ein Extra
Diffstat (limited to '.meta/find-extras')
-rwxr-xr-x | .meta/find-extras | 1 |
1 files changed, 1 insertions, 0 deletions
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 ' |