diff options
author | Christian Grothoff <christian@grothoff.org> | 2023-05-07 10:03:28 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2023-05-07 10:03:28 +0200 |
commit | e571a4e61f488eefab31d63e96749af2cacfac8c (patch) | |
tree | 2784a8921059692529ade31e0fffe16d5f17771d | |
parent | 778077100b95ae81e53378473f5b8032ac0b168d (diff) | |
download | docs-e571a4e61f488eefab31d63e96749af2cacfac8c.tar.gz docs-e571a4e61f488eefab31d63e96749af2cacfac8c.tar.bz2 docs-e571a4e61f488eefab31d63e96749af2cacfac8c.zip |
-update .gitignore
-rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,3 +1,7 @@ texinfo/*.html texinfo/*.info .dirstamp +*.png +_build/ +_exts/ +manpages/ |