diff --git a/Install/.gitignore b/Install/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..24600083db41748be192c1a6cc2b90e6ba21c012 --- /dev/null +++ b/Install/.gitignore @@ -0,0 +1 @@ +!Makefile