Marco Hinz a885a536bd change of exception list handling
"Exception" is quite an overloaded term, thus exception lists were
renamed to skip lists; even 'skip dicts', since their type changed, too.
2013-03-26 10:34:29 +01:00
..
2013-03-26 10:34:29 +01:00