diff tests/test-globalopts @ 5853:deb0d3518674

Merge with crew-stable
author Patrick Mezard <pmezard@gmail.com>
date Sat, 12 Jan 2008 20:49:07 +0100
parents 9ac493f12901
children aafdea37f796
line wrap: on
line diff