update IDE settings
authorChristian Weiske <cweiske@cweiske.de>
Thu, 24 Mar 2016 15:11:07 +0000 (16:11 +0100)
committerChristian Weiske <cweiske@cweiske.de>
Thu, 24 Mar 2016 15:11:07 +0000 (16:11 +0100)

No differences found