log content/Eclipse/formatting-sources.md @ 96:57988fb9567c

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