diff options
author | 2020-04-02 11:39:40 +0000 | |
---|---|---|
committer | 2020-04-02 11:39:40 +0000 | |
commit | f992a85bb2966dc92cae976a777644ccf12f5c61 (patch) | |
tree | eee1f2b4e7909d121668627a6e45ec094e5c897f /docs/.gitignore | |
parent | b5c219b1132754c18fda8f99b4c2e8a61af4ae6e (diff) | |
parent | d236cfc17adb248d5bd747781fd28490f255e92e (diff) |
Merge "Migrate oom 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 0000000000..43ca5b671f --- /dev/null +++ b/docs/.gitignore @@ -0,0 +1,3 @@ +/.tox +/_build/* +/__pycache__/* |