diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-21 21:50:00 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-21 21:50:00 +0100 |
| commit | f1c8b0e1b8bb16cceb32b12403166775b639f53a (patch) | |
| tree | da5e5cbdbb2a4b0e4d78cb294f90fd81ea3be15a /res/xml/preferences.xml | |
| parent | 8966142aace11212392ddf7ee299cf66982918b8 (diff) | |
higher res and different position
Diffstat (limited to 'res/xml/preferences.xml')
0 files changed, 0 insertions, 0 deletions