diff test/runtime/8001071/Test8001071.java @ 14904:162d8fe89017

Revert 3e9a8ef2e0e1.
author Josef Eisl <josef.eisl@jku.at>
date Mon, 31 Mar 2014 18:05:20 +0200
parents f765bfec8f07
children
line wrap: on
line diff