diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-10-05 22:33:31 +0530 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-10-05 22:33:31 +0530 |
commit | 5f8c067ab79831d9c13c4155e8739f632cee320f (patch) | |
tree | 16e993019ac648a8ab7226bfa1181f9f8cb8aec6 | |
parent | ca53235ccfa0458ebf11c204888ca370e20ec3f5 (diff) | |
download | docs-5f8c067ab79831d9c13c4155e8739f632cee320f.tar.gz docs-5f8c067ab79831d9c13c4155e8739f632cee320f.tar.bz2 docs-5f8c067ab79831d9c13c4155e8739f632cee320f.zip |
gitignore
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,2 +1,3 @@ texinfo/*.html +texinfo/*.info .dirstamp |