diff configure @ 46:73e6dac29391

new stuff (checkpoint when moved between machines)
author David A. Holland
date Tue, 12 Aug 2014 21:55:08 -0400
parents 923ea629c29f
children 62d82881799f
line wrap: on
line diff