pablo rodriguez 6894c2e51f maj V1.0.1 (JRE 1.7 with JDK 1.8)		2023-06-28 20:56:23 +02:00
..
org.eclipse.core.resources.prefs	First commit	2023-06-22 13:27:37 +02:00
org.eclipse.jdt.core.prefs	maj V1.0.1 (JRE 1.7 with JDK 1.8)	2023-06-28 20:56:23 +02:00
org.eclipse.jdt.launching.prefs	maj V1.0.1	2023-06-28 10:53:27 +02:00
org.eclipse.jdt.ui.prefs	maj V1.0.1	2023-06-28 10:53:27 +02:00