diff options
author | Ben Elliston <bje@gnu.org> | 2018-12-03 12:59:45 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-03 12:59:45 +1100 |
commit | dc3f6035520ecf78338def2b0b07139a64b2b219 (patch) | |
tree | fa7b2490493d29cf8028b3756e1ae9bc263f7abf /doc/.gitignore | |
parent | 952f79c54c6b64819b6883a6a890d5b6c027ffcd (diff) |
Ignore version.texi.
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 185b0d6..01f5725 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,2 +1,3 @@ dejagnu.info +version.texi stamp-vti |