diff options
| author | Repox <storm@err0r.dk> | 2011-11-21 14:08:52 +0100 |
|---|---|---|
| committer | Repox <storm@err0r.dk> | 2011-11-21 14:08:52 +0100 |
| commit | b8daad77176ba880da315a98ea69dde2bec2c8f3 (patch) | |
| tree | 45bde1e6a8330f17ede99b8f7d8a0b65a6d412a9 /user_guide_src/source/libraries/benchmark.rst | |
| parent | c737c94b6dd2044b7c1a7d506c57de7da6df97f4 (diff) | |
Added 'opera mobi' to user agents making it identified as 'Opera Mini'. Fixes issue #683
Diffstat (limited to 'user_guide_src/source/libraries/benchmark.rst')
0 files changed, 0 insertions, 0 deletions