Delete UserSettings.settings

Author Spegeli <andreas.spegel@me.com>
Author date 2016-07-23 05:32:38
Author local date 2016-07-23 07:32:38 +0200
Committer GitHub <noreply@github.com>
Committer date 2016-07-23 05:32:38
Committer local date 2016-07-23 07:32:38 +0200
Commit 9e70e353887a3567e32a9a90c91a8162f2d4bc93
Tree 66c279c7e822f91b95913bcad318d895ae982e2f
Parent 69bf23253cb37bb3b7c9cdc4165a81e0a9d055a9
Delete UserSettings.settings
Affected files:
You may download the files in Public Git.