diff options
author | Andrey Andreev <narf@devilix.net> | 2014-10-28 23:55:50 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2014-10-28 23:55:50 +0100 |
commit | 49646ea1d8f4ead0768ea598e9a0aea847ebee7f (patch) | |
tree | 5627e1f5dcbfba248e231a72aab2c5c51c85bcff /user_guide_src/cilexer | |
parent | 4b838af40d77684539dd40461bd92e6e453fe675 (diff) | |
parent | bc2d3036267d908071ab1b26aea0a6f8e23e9201 (diff) |
Merge pull request #3295 from jim-parry/fix/user-guide-style-clean
Revert to default sphinx theme
Diffstat (limited to 'user_guide_src/cilexer')
0 files changed, 0 insertions, 0 deletions