Skip to content

I20170510-0800

I20170510-0800: Bug 515534: [newindex] Add a button to the Java preference page for
@mkeller mkeller tagged this 09 May 16:41 
rebuilding the index

Fixed duplicated preference constant JavaIndex.ENABLE_NEW_JAVA_INDEX.
Assets 2
Loading