diff Makefile @ 897:6bc8046e3d0a

move verify to a file of its own
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Sun, 13 May 2012 15:36:45 +0200
parents 055f9254d790
children
line wrap: on
line diff