comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 16601:cd25e42d9b22

rename IntegerBelowThanNode to IntegerBelowNode
author Lukas Stadler <lukas.stadler@oracle.com>
date Mon, 28 Jul 2014 15:53:07 +0200
parents 3417a9177425
children
comparison
equal deleted inserted replaced
16600:6e7311d571ff 16601:cd25e42d9b22