diff --git a/EiffelStudio.gitignore b/EiffelStudio.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..a7ba35f8244573159abaab0f96df71ed2ee3499f --- /dev/null +++ b/EiffelStudio.gitignore @@ -0,0 +1,2 @@ +# The compilation directoy +EIFGENs