log +mpm/verify.m @ 37:01e81c77bca1

age author description
Fri, 02 Nov 2018 13:21:20 +0100 Jonatan Werpers Change variable naming in mpm.verify to make it more concisten with the other scripts