diff --git a/.DS_Store b/.DS_Store new file mode 100644 index 000000000..682eff608 Binary files /dev/null and b/.DS_Store differ diff --git a/.gitignore b/.gitignore index 73912aea3..cf48c5a89 100644 --- a/.gitignore +++ b/.gitignore @@ -23,3 +23,6 @@ project/boot/ # Unpacking complete binaries for testing purposes /runnable js/npm + +.bsp/ +.metals/ \ No newline at end of file diff --git a/.idea/runConfigurations/ksc_formats_all.xml b/.idea/runConfigurations/ksc_formats_all.xml index 2e50788c5..ef27ba060 100644 --- a/.idea/runConfigurations/ksc_formats_all.xml +++ b/.idea/runConfigurations/ksc_formats_all.xml @@ -1,8 +1,10 @@ +