diff +mpm/status.m @ 36:647cd9e354bf

Change variable naming in mpm.verify to make it more concisten with the other scripts
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 02 Nov 2018 13:21:20 +0100
parents 1fe5080cac46
children 01e81c77bca1
line wrap: on
line diff