diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-09-18 19:44:15 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-09-18 19:44:15 +0200 |
commit | ca53235ccfa0458ebf11c204888ca370e20ec3f5 (patch) | |
tree | 4592a4e457e2be3c9b073d1f4ff6d9df650a9ea2 | |
parent | 128dd21665396575f1e752d2fbc77ca5719972da (diff) | |
download | docs-ca53235ccfa0458ebf11c204888ca370e20ec3f5.tar.gz docs-ca53235ccfa0458ebf11c204888ca370e20ec3f5.tar.bz2 docs-ca53235ccfa0458ebf11c204888ca370e20ec3f5.zip |
gitignore
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..f7438d0b --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +texinfo/*.html +.dirstamp |