diff options
author | 2020-02-11 08:14:42 +0000 | |
---|---|---|
committer | 2020-02-11 08:14:42 +0000 | |
commit | 88f8607f42193606135191083b38b164991befa0 (patch) | |
tree | b7ffb212b95ac16ab2187c498996f38b1a2444cd /docs/.gitignore | |
parent | 00ff3eb8ebd4ea4311832dbad9748f4ae2bd02b2 (diff) | |
parent | 55cef64c6749dc4e5ede22d98d676956981846c8 (diff) |
Merge "Migrate usecase-ui docs"
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__/* |