comparison tests/test-convert-tla.out @ 6610:92b5be854677

Backed out changeset ff5ef3c0fe10 (fixes wrong documentation)
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Mon, 19 May 2008 10:19:59 +0200
parents ea34059b89de
children 0946294d1f32
comparison
equal deleted inserted replaced
6609:ff5ef3c0fe10 6610:92b5be854677