log src/core/exceptions.py @ 2218:6a2fa651d7fa

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