log src/core/exceptions.py @ 2325:760df3a58c24

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