tools/eclipse_formatter.xml
changeset 657 f0ee4f04b3ac
parent 644 77cb07054bb2