log build.properties @ 0:ca07a15b6cc8

age author description
Thu, 23 Oct 2014 22:20:08 +0200 Dirk Olmes created a plugin that allows to set a custom icon on a java editor