diff options
| author | Phil Sturgeon <email@philsturgeon.co.uk> | 2011-11-21 14:55:39 +0100 |
|---|---|---|
| committer | Phil Sturgeon <email@philsturgeon.co.uk> | 2011-11-21 14:55:39 +0100 |
| commit | eb3ed335e38ee51aaf3783b108ffeb3dda61b0a7 (patch) | |
| tree | 45bde1e6a8330f17ede99b8f7d8a0b65a6d412a9 /user_guide_src/source/libraries/benchmark.rst | |
| parent | c737c94b6dd2044b7c1a7d506c57de7da6df97f4 (diff) | |
| parent | b8daad77176ba880da315a98ea69dde2bec2c8f3 (diff) | |
Merge pull request #685 from Repox/develop
Added 'opera mobi' to user agents making it identified as 'Opera Mini'. ...
Diffstat (limited to 'user_guide_src/source/libraries/benchmark.rst')
0 files changed, 0 insertions, 0 deletions