kili 10b897592e Update to darcs-2.5.		2010-11-02 20:22:34 +00:00
..
patch-GNUmakefile	Update to darcs-2.4.3 (bugfix release).	2010-05-09 17:00:39 +00:00
patch-tests_issue1875-honor-no-set-default_sh	Update to darcs-2.5.	2010-11-02 20:22:34 +00:00