]> WPIA git - gigi.git/tree
662f7974559bb2a14c439319aff028886a995ae6
-rw-r--r-- 48 org.eclipse.core.runtime.prefs
-rw-r--r-- 24465 org.eclipse.jdt.core.prefs
-rw-r--r-- 272 org.eclipse.jdt.ui.prefs