From 1de53a5171ed89ef4a51d18737653fa2ff8df786 Mon Sep 17 00:00:00 2001 From: Philipp Wullstein-Kammler Date: Wed, 11 Dec 2024 14:24:07 +0100 Subject: [PATCH] Delete obsolete `.gitignore` file --- .../rbt-output-file/default-scenario/expected-output/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 tests-system/lobster-trlc/rbt-output-file/default-scenario/expected-output/.gitignore diff --git a/tests-system/lobster-trlc/rbt-output-file/default-scenario/expected-output/.gitignore b/tests-system/lobster-trlc/rbt-output-file/default-scenario/expected-output/.gitignore deleted file mode 100644 index 5ab64ab6..00000000 --- a/tests-system/lobster-trlc/rbt-output-file/default-scenario/expected-output/.gitignore +++ /dev/null @@ -1 +0,0 @@ -!*.lobster