diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..e832e9471833be1b6eb98a1968d8b591fd31313d --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +*.fasl +*~ +\#* +*.patch diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..f22577b3ac86f0e154e346db7f2734811cefb68b --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,3 @@ +alexandria +include +