Remove dev_launcher

ghga-de · Nov 10, 2023 · 0caf3e2 · 0caf3e2
1 parent 26c5e88
commit 0caf3e2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/.devcontainer/dev_launcher b/.devcontainer/dev_launcher
diff --git a/.mandatory_files_ignore b/.mandatory_files_ignore
@@ -1,3 +1,4 @@
 # Optional list of files which are actually mandatory in the template
 # but are allowed to be removed in the current repository
 scripts/script_utils/fastapi_app_location.py
+.devcontainer/dev_launcher