make install and some cleanup

Maximilien Siavelis

2018-01-05 b446e4d14a0694d23573d77672ef6d70c51d6a08

1
2
eclipse.preferences.version=1
org.eclipse.ltk.core.refactoring.enable.project.refactoring.history=false