diff options
author | Andrey Andreev <narf@devilix.net> | 2016-08-11 14:55:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-11 14:55:33 +0200 |
commit | b7b5ee6bee6395460a7f628cb16f75b0777ea44b (patch) | |
tree | 784991ea4ddcef07c660c071c9fb652d5003ba00 /user_guide_src/source/general/profiling.rst | |
parent | d864eb4828a1a4c327df1af4e84328a8dfd0be43 (diff) | |
parent | 669cc5f881970ec3cc19b57f4da0382c7d8f5542 (diff) |
Merge pull request #4764 from butane/uri_scheme_case
URI schemes are not case-sensitive
Diffstat (limited to 'user_guide_src/source/general/profiling.rst')
0 files changed, 0 insertions, 0 deletions