https://github.com/eclipse/eclipse.jdt.debug
History
Tip revision: 6f698d9f831cba8783f68c2f568759f0cb7d4797 authored by Carsten Hammer on 01 June 2019, 20:26:28 UTC
Use isEmpty() instead of size()==0 where possible
Tip revision: 6f698d9

back to top