log +mpm/check.m @ 5:6c46515ee860

age author description
Mon, 10 Sep 2018 16:35:17 +0200 Jonatan Werpers Add function for checking if the currently loaded paths are correct