log content/Eclipse/formatting-sources.md @ 111:bb513b8b0caf

age author description
2018-01-23 Dirk Olmes draft for formatting eclipse sources using a batch tool