Skip to content

I20190723-1800

I20190723-1800: Using indexOf char instead of indexOf String in jdt.ui
@vogella vogella tagged this 19 Jul 16:16 
See https://sourceforge.net/p/findbugs/feature-requests/300/#cb7f for a
performance related discussion

Change-Id: Ib1aeab169e5443d4b8279c9629e7fe2806fd9f1d
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Assets 2
Loading