log +mpm/PersistentState.m @ 41:17ac3ce49b55 default tip

age author description
Wed, 05 Dec 2018 15:43:13 +0100 Jonatan Werpers Change place of storage of the state
Tue, 18 Sep 2018 11:41:39 +0200 Jonatan Werpers Add class for managing state file