diff options
| author | Andrey Andreev <narf@devilix.net> | 2016-03-12 19:01:57 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2016-03-12 19:01:57 +0100 |
| commit | 2961883c06ba963a67a68c34ef90a57ff5c38646 (patch) | |
| tree | 355abcd43e57c82915a4fd267a89a0bfeafe19af /user_guide_src/source/libraries/benchmark.rst | |
| parent | 4f555079a6d85abd11403c72b9dbaa8823dc2e6d (diff) | |
[ci skip] Update the index.php file
- Use DIRECTORY_SEPARATOR instead of a hard-coded forward-slash
- Use more proper terminology in comment descriptions
- Small tweaks to directory detection logic
Diffstat (limited to 'user_guide_src/source/libraries/benchmark.rst')
0 files changed, 0 insertions, 0 deletions