diff --git a/docs/manual/images/.gitignore b/docs/manual/images/.gitignore new file mode 100644 index 0000000000..e33609d251 --- /dev/null +++ b/docs/manual/images/.gitignore @@ -0,0 +1 @@ +*.png