scripts/make-snapshot
author deba
Tue, 28 Aug 2007 14:00:42 +0000
changeset 2467 2025a571895e
permissions -rwxr-xr-x
PathNodeIt

PathWriter/Reader structures
Distinict MapSet readers and writers
     1 #!/bin/bash
     2 
     3 make VERSION=r`svn info|grep 'Revision:'|cut -d ' ' -f 2` $*