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/general/index.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/general/index.rst')
0 files changed, 0 insertions, 0 deletions