diff tools/verify-all-heads.sh @ 274:a119ab6135f3

Add help to the list of nourl commands
author Daniel Tang <dytang@cs.purdue.edu>
date Thu, 23 Apr 2009 14:51:13 -0400
parents 3c87de482011
children 5071b8511572
line wrap: on
line diff