diff deploy/src/archive-tip.sh @ 1300:f7481cb5a1ff project-file-rework

Rename server to simple-server, and add some more description in usage
author Chris Cannam
date Fri, 28 Oct 2016 11:08:17 +0100
parents d333705f6c29
children 471b0fb002ea
line wrap: on
line diff