]> WPIA git - gigi.git/history - .settings/org.eclipse.core.resources.prefs
Merge "upd: remove 'browser install'"
[gigi.git] / .settings / org.eclipse.core.resources.prefs
2016-07-02 Felix DörreMerge "Update notes about password security"
2016-06-30 Felix DörreMerge branch 'libs/jetty/local'
2016-06-16 Benny BaumannMerge "fix: advanced options on create certificate...
2016-06-16 Benny BaumannMerge changes I5927fb2c,I13853b13
2016-06-16 Felix Dörrefix: enforce eclipse-project UTF-8 file encoding.