giomba 7a789c5e66 First draft of client		2019-11-16 16:30:10 +01:00
..
org.eclipse.jdt.core.prefs	First draft of client	2019-11-16 16:30:10 +01:00