diff tests/test-convert-tla.out @ 7807:bd8f44638847

help: miscellaneous language fixes
author timeless <timeless@gmail.com>
date Sat, 28 Feb 2009 12:38:45 +0100
parents 0946294d1f32
children f2618cacb485
line wrap: on
line diff