diff options
author | Andrey Andreev <narf@devilix.net> | 2015-02-04 11:51:21 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-02-04 11:51:21 +0100 |
commit | d22ba47139cf294506b9a1f34cc996f23155ebf5 (patch) | |
tree | 88dd711dabc6f0ca0c282fd2d6a185f3536306bc /user_guide_src/source/_themes | |
parent | 9cec91be05e13f292f73e59dd08febf5e32859d8 (diff) | |
parent | 8839fba1d655294d0afbd9fac285a4f60a4b5dad (diff) |
Merge pull request #3555 from gadelat/webkitselection
[ci skip] Remove -webkit-selection usage
Diffstat (limited to 'user_guide_src/source/_themes')
0 files changed, 0 insertions, 0 deletions