diff test/jprt.config @ 2525:58e00fb82a3d

Removed CEEliminator (and two unused/unimplemented optimizations).
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 27 Apr 2011 16:54:57 +0200
parents c18cbe5936b8
children f08d439fab8c
line wrap: on
line diff