comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 17217:1738211d4cdb

Multiply use shift-add|subtract operations when easily possible. In DivNode use rightshift
author Stefan Anzinger <stefan.anzinger@oracle.com>
date Thu, 25 Sep 2014 18:54:59 -0700
parents 3417a9177425
children
comparison
equal deleted inserted replaced
17216:7d8bb35e67c8 17217:1738211d4cdb