log

age author description
Thu, 12 Jul 2012 13:33:53 +0200 Martin Geisler merge with crew-stable
Mon, 09 Jul 2012 17:51:46 +0200 Adrian Buehlmann revert: use term "uncommitted merge" in help text stable