check-templated-code-snippets.py throws FileNotFoundError when a file is (intentionally) deleted
This script should not report an error when a file is deleted in a commit.
This script should not report an error when a file is deleted in a commit.
changed milestone to %Meeting-2022-06-01
assigned to @s2817051--tu-dresden.de
mentioned in merge request !597 (merged)
closed with merge request !597 (merged)
mentioned in commit 2652c02e