Fri, 04 Oct 2019 17:32:42 +0200 | Detlev Offenbach | Regenerated the source docu. | file | diff | annotate |
Sat, 28 Sep 2019 18:44:48 +0200 | Detlev Offenbach | Editor: added configuration option to set the tab and indentation width for each languages separately (as an override to the global ones). | file | diff | annotate |