diff --git a/.gitignore b/.gitignore index 25465c247765b92d4e5772b770f731b133d83b64..24108db14707987b6d6b3c12cab7ffb95aded334 100644 --- a/.gitignore +++ b/.gitignore @@ -106,3 +106,4 @@ fc-pregmod *.todo TODO.txt .vscode/settings.json +pregmod.code-workspace