diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..181d655f546594d4b04154561f84a5b51e77d79d --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.~lock*