diff options
author | Andrey Andreev <narf@devilix.net> | 2014-05-19 13:08:53 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2014-05-19 13:08:53 +0200 |
commit | 5b9251f2a2db19d5e77c52def8f97b2cd6443e3e (patch) | |
tree | 26f28913003109335a1eb12ace23452aee4cb084 /user_guide_src/source/_themes | |
parent | 096dddec606be325b72d7f02948ebdfa56da5e24 (diff) | |
parent | 5a34688f439197e14c0fe73ff2e3c3c2c8636808 (diff) |
Merge pull request #3053 from vlakoff/get_config
Simplify code in get_config()
Diffstat (limited to 'user_guide_src/source/_themes')
0 files changed, 0 insertions, 0 deletions