darcs patch: catch exceptions when calling user-written code.

11 Oct
2007
11 Oct
'07
9:32 p.m.
Thu Oct 11 21:31:13 EDT 2007 David Roundy
6432
Age (days ago)
6432
Last active (days ago)
0 comments
1 participants
participants (1)
-
David Roundy