diff --git a/external/.gitignore b/external/.gitignore new file mode 100644 index 000000000..3e18ebf09 --- /dev/null +++ b/external/.gitignore @@ -0,0 +1 @@ +private