diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2014-10-20 09:24:39 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2014-10-20 09:24:39 +0200 |
| commit | a8a37ec08df75fc2795d3b774d900b7f5af85aa3 (patch) | |
| tree | 5f6784782c1ab65c9a66991c1948b7fc6585a3c8 /project.properties | |
| parent | b9288ed05078b9fe5c1c35eb5979ba6fbfc0aca3 (diff) | |
| parent | f20c43d1a2c7988926f5fd2e02ec126a592e0584 (diff) | |
Merge pull request #569 from kriztan/patch-1
Set default preference ...
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions