diff options
| author | iNPUTmice <daniel@gultsch.de> | 2015-04-16 21:55:52 +0200 |
|---|---|---|
| committer | iNPUTmice <daniel@gultsch.de> | 2015-04-16 21:56:03 +0200 |
| commit | c4daa08170f0e468c0407d9db91a0de0415b6bf2 (patch) | |
| tree | 889f7dcd4c8ca8d95daa5fe796f6483b4834ca0e /src/main/res/xml/preferences.xml | |
| parent | 584ffbd0009ec57bcbe413857e3d16ff10f376de (diff) | |
fixed a bug in DNS helper code. fixes #1130
Diffstat (limited to 'src/main/res/xml/preferences.xml')
0 files changed, 0 insertions, 0 deletions