log content/Eclipse/formatting-sources.md @ 97:e99db3bc53c1

age author description
Tue, 23 Jan 2018 08:15:01 +0100 Dirk Olmes draft for formatting eclipse sources using a batch tool