diff options
| author | Andrey Andreev <narf@devilix.net> | 2015-12-17 11:35:20 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2015-12-17 11:35:20 +0100 |
| commit | 78b151646f4fb684c0328a67cb2a9bed3e1d8f3f (patch) | |
| tree | 031a74e7c0765ccc5d650726b6773d2f0e3e2672 /phpdoc.dist.xml | |
| parent | f437fd20a78b9f28405d1ebba5f7ed53b1a33545 (diff) | |
| parent | 3933a3f8a96346d45d98d2c15a41b14ec1f970b2 (diff) | |
Merge pull request #4318 from suhindra/develop
[ci skip] Added Vivaldi browser to config/user_agents.php
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions