diff options
author | 2020-02-20 12:13:29 +0000 | |
---|---|---|
committer | 2020-02-20 12:13:29 +0000 | |
commit | ff8b47138f19faf4ca62f1f3d0773565c8df6188 (patch) | |
tree | 29215f4fc162669d5465e8df3945b6f9f13ee446 /docs/.gitignore | |
parent | 5fd9f5fb1dabb4fcc9c117c630b2fbbfc3a25e56 (diff) | |
parent | e76929a0de1f8fda281f2d535cd820428413aa52 (diff) |
Merge "Add documentation"
Diffstat (limited to 'docs/.gitignore')
-rw-r--r-- | docs/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore new file mode 100644 index 00000000..43ca5b67 --- /dev/null +++ b/docs/.gitignore @@ -0,0 +1,3 @@ +/.tox +/_build/* +/__pycache__/* |