diff options
author | 2020-02-24 15:04:47 +0000 | |
---|---|---|
committer | 2020-02-24 15:04:47 +0000 | |
commit | e9a1c41454ff03597d71c2ebcfefc62bdd91c5b3 (patch) | |
tree | 9989d91b1ec4efd389a3c40b2df9b9ad60587a81 /docs/.gitignore | |
parent | a4eb86ee39e858d5f7c036cc70be8603d5f420bb (diff) | |
parent | f3c4ac7194b11d73b819a516482bb8394a8248c4 (diff) |
Merge "Migrate policy-engine 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 000000000..43ca5b671 --- /dev/null +++ b/docs/.gitignore @@ -0,0 +1,3 @@ +/.tox +/_build/* +/__pycache__/* |