log src/core/exceptions.py @ 2405:f4b6176eb65f

age author description
Sun, 05 Feb 2017 14:55:21 +0100 Goffi core: replaced SkipHistory exception by a key in mess_data: