diff COPYING @ 8243:cb08c3765a02

merge with crew-stable I pushed the dd1b47e17d7e to crew before realizing that it would also be suitable for crew-stable, hence the double changeset.
author Martin Geisler <mg@lazybytes.net>
date Wed, 29 Apr 2009 18:36:55 +0200
parents e6db25785b00
children 8c8b55733cbd
line wrap: on
line diff