Ensure that changed options are reset when throwing an exception.
[irspy-moved-to-github.git] / archive / architecture-notes
2010-04-21 Wolfram Schneiderremove stale $Id$
2007-02-20 Mike TaylorNew