summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-02-11 21:08:41 +0100
committerChristian Grothoff <christian@grothoff.org>2019-02-11 21:08:41 +0100
commitd2b44c1cab1b2b921dcaf76a6251c028dc09d5a7 (patch)
treee50a4a843e07c00b5ae5570883470204c3be150b /.gitignore
parent0d4f151374efb1972361c40b6624bf4fd0e3fcaa (diff)
update ignore file
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 4f58c79ac..230946ed6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -55,3 +55,6 @@ flake8.log
.cache/
__pycache__/
build-aux/
+src/ats/test_ats2_lib
+doc/handbook/gversion.texi
+doc/tutorial/gversion.texi