diff tests/test-convert-tla.out @ 9317:8c1df18452aa

Backed out changeset 5724cd7b3688 (depends on other changes, no tests)
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Wed, 05 Aug 2009 16:32:38 +0200
parents 0946294d1f32
children f2618cacb485
line wrap: on
line diff