diff options
author | Christian Grothoff <christian@grothoff.org> | 2023-09-24 20:23:55 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2023-09-24 20:23:55 +0200 |
commit | aad27ba9624b0ab9b0da5a8d8e63d761905c2472 (patch) | |
tree | 26d6c619e21d2a72c38de1b8cc4aa20e9319e4f8 | |
parent | 74677857773059392241179aa3658205096a9def (diff) | |
download | docs-aad27ba9624b0ab9b0da5a8d8e63d761905c2472.tar.gz docs-aad27ba9624b0ab9b0da5a8d8e63d761905c2472.tar.bz2 docs-aad27ba9624b0ab9b0da5a8d8e63d761905c2472.zip |
-ignore texinfo/ dir on master
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,3 +11,4 @@ images/coin.png images/deposit.png images/reserve.png *.png +texinfo/ |