https://github.com/eclipse/eclipse.jdt.debug
History
Tip revision: 75580be4ac2f45b72c47647df4829fea90e3ebc3 authored by Carsten Hammer on 01 June 2019, 20:26:28 UTC
Use isEmpty() instead of size()==0 where possible
Tip revision: 75580be
File Mode Size
.api_filters -rw-r--r-- 1.9 KB
org.eclipse.core.resources.prefs -rw-r--r-- 239 bytes
org.eclipse.core.runtime.prefs -rw-r--r-- 48 bytes
org.eclipse.jdt.core.prefs -rw-r--r-- 32.4 KB
org.eclipse.jdt.ui.prefs -rw-r--r-- 5.4 KB
org.eclipse.pde.api.tools.prefs -rw-r--r-- 4.7 KB
org.eclipse.pde.prefs -rw-r--r-- 1.2 KB

back to top