Mon, 10 Jan 2011 16:45:28 +0100 | wenzelm | added merge_options convenience; | file | diff | annotate |
Sun, 12 Dec 2010 21:41:01 +0100 | krauss | tuned headers | file | diff | annotate |
Wed, 03 Nov 2010 11:11:49 +0100 | wenzelm | replaced ancient sys_error by raise Fail, assuming that the latter is not handled specifically by the environment; | file | diff | annotate |