comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 11557:e08a9328ce92

Truffle-DSL: allow multiple implicit casts with the same source type.
author Andreas Woess <andreas.woess@jku.at>
date Mon, 09 Sep 2013 22:33:57 +0200
parents 3417a9177425
children
comparison
equal deleted inserted replaced
11556:7ce149d349c9 11557:e08a9328ce92