diff options
author | Andrey Andreev <narf@devilix.net> | 2014-07-31 17:49:08 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2014-07-31 17:49:08 +0200 |
commit | b32599ec383c408b50fc254dd6e4a2b608512393 (patch) | |
tree | 5122f90be3948d669b1cc9d1d2be4959571fac5d /user_guide_src/source/conf.py | |
parent | 25df7a98f013f6d2a49ad09eb754c606a4bc010f (diff) | |
parent | dc5fe5a179e41792a7fd4f2019e38bb13cddc675 (diff) |
Merge pull request #3162 from MianSaleem/patch-1
anchor popup's menubar attribute is missing
Diffstat (limited to 'user_guide_src/source/conf.py')
0 files changed, 0 insertions, 0 deletions