diff --git a/collects/web-server/default-web-root/.gitignore b/collects/web-server/default-web-root/.gitignore new file mode 100644 index 0000000000..6bfe6b19e3 --- /dev/null +++ b/collects/web-server/default-web-root/.gitignore @@ -0,0 +1 @@ +log