diff options
author | 2019-09-12 16:44:45 +0000 | |
---|---|---|
committer | 2019-09-12 16:44:45 +0000 | |
commit | 1c27d3125646a0bf545bdd224fe73bdebd145921 (patch) | |
tree | 3f928520b0b02e8c0a0272a3908343b085c74334 /.gitignore | |
parent | 75ec6e95b3791c07c511ae396e0e37db6652cf42 (diff) | |
parent | 0a85b8bac10f910fe433ee520ffe44a862515b51 (diff) |
Merge "Update api docs to reflect the most recent changes to policytypes"
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -13,3 +13,4 @@ docs/conf.py docs/conf.pyc docs/html/ docs/_static/ +docs/__pycache__/ |