Phillip Webb 24e873cd7c Move files from /.eclipse into /eclipse ...

Move the `eclipse.properties` file from `.eclipse` into `eclipse`
since the IDE plugin supports both.

2018-07-26 11:34:58 +01:00

25 B

Raw Blame History

View Raw