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