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
alpar@1937
     1
#!/bin/bash
alpar@1937
     2
alpar@1937
     3
make VERSION=r`svn info|grep 'Revision:'|cut -d ' ' -f 2` $*