diff options
| author | Masterklavi <masterklavi@gmail.com> | 2016-03-12 07:38:47 +0100 |
|---|---|---|
| committer | Masterklavi <masterklavi@gmail.com> | 2016-03-12 07:38:47 +0100 |
| commit | 35d9f36538be2acc86beb060fb54d93f268cf307 (patch) | |
| tree | 465984d009e5a5e5792c023e4311998640227d97 /user_guide_src/source/conf.py | |
| parent | db91d5b1b3ed2cfd8e1ad0ba59906ad527ef8786 (diff) | |
Added a second check "instanceof"
Diffstat (limited to 'user_guide_src/source/conf.py')
0 files changed, 0 insertions, 0 deletions