diff test/jprt.config @ 9449:3d309a26d4d5

Add canonicalization to interger div
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 30 Apr 2013 21:38:22 +0200
parents f08d439fab8c
children
line wrap: on
line diff