Fri, 24 Jul 2009 15:53:40 -0600 | Bill Barry | fix issue 1763: strip chars from end of line when parsing gitpatch lines | changeset | files |
Sat, 25 Jul 2009 10:08:20 -0700 | Bryan O'Sullivan | issue1251: bail if darcs version is too old | changeset | files |
Fri, 24 Jul 2009 15:28:29 +0200 | Martin Geisler | Merge with crew-stable | changeset | files |