diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-02-07 00:44:35 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-02-07 00:44:35 +0100 |
commit | eae85d62c10907a71b9087866669a46907411023 (patch) | |
tree | 1e39a28531022ddb04524d74f3c954269d2599a3 /contrib/tos/.gitignore | |
parent | 9e0a813b38b791a0bc020b8f1ee16d2b5d8712c6 (diff) |
proper i18n support for TOS
Diffstat (limited to 'contrib/tos/.gitignore')
-rw-r--r-- | contrib/tos/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/tos/.gitignore b/contrib/tos/.gitignore new file mode 100644 index 000000000..fb83616eb --- /dev/null +++ b/contrib/tos/.gitignore @@ -0,0 +1,3 @@ +sphinx.err +sphinx.log +_build/ |