diff cgitools/Makefile @ 46:73e6dac29391

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