Release I20180804-1500: Bug 537688 - Java 'User Library' entries are jumbled without any · eclipse-jdt/eclipse.jdt.ui

stephan-herrmann tagged this 04 Aug 16:33

alphabetical sorting

Change-Id: I8c8530d2b4ac18f7c8f967b0b743286b4fe8425b
Signed-off-by: Stephan Herrmann <stephan.herrmann@berlin.de>

Assets 2

Provide feedback