diff options
author | Andrey Andreev <narf@devilix.net> | 2014-12-09 16:38:56 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2014-12-09 16:38:56 +0100 |
commit | cd94dd7e1d8969658810ccc4158a75d2936d0a44 (patch) | |
tree | a1b0975039010a4848fb92e5589721585835a32f /user_guide_src/source/_themes/sphinx_rtd_theme/static/css/badge_only.css | |
parent | 562e39bab43181fb709aeaf4dee14bf481a2cc6a (diff) |
#3073 (feature/session): Allow custom drivers without the CI_ or MY_ prefix
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/static/css/badge_only.css')
0 files changed, 0 insertions, 0 deletions