Wed, 24 Aug 2016 20:00:29 +0200 | Detlev Offenbach | Added an action to clear the private data of the IDE. | file | diff | annotate |
Sun, 15 Feb 2015 17:22:58 +0100 | Detlev Offenbach | Some small modifications to the plug-in manager. | file | diff | annotate |
Sat, 05 Jul 2014 12:29:15 +0200 | Detlev Offenbach | Generated source docu. | file | diff | annotate |