diff --git a/installation/.gitignore b/installation/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..465d54ea1faaf4bcf350d8fd0bccffcd80f64a26 --- /dev/null +++ b/installation/.gitignore @@ -0,0 +1 @@ +/targets