]> mj.ucw.cz Git - eval.git/history - exceptions
Record local history in the GUI, too.
[eval.git] / exceptions
2001-06-08 Martin MaresThe default empty table of exceptions.