Move files from /.eclipse into /eclipse

Move the `eclipse.properties` file from `.eclipse` into `eclipse`
since the IDE plugin supports both.
pull/14003/head
Phillip Webb 6 years ago
parent 12f8ef1b6e
commit 24e873cd7c
Loading…
Cancel
Save