diff --git a/src/examples/lib/.gitignore b/src/examples/lib/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..a4383358ec72fb4d15f30791cb5265a6e06c5416 --- /dev/null +++ b/src/examples/lib/.gitignore @@ -0,0 +1 @@ +*.d