scripts/make-snapshot
author deba
Tue, 20 Nov 2007 15:06:03 +0000
changeset 2516 6a30e13a1c79
permissions -rwxr-xr-x
Nauty graph6 reader
     1 #!/bin/bash
     2 
     3 make VERSION=r`svn info|grep 'Revision:'|cut -d ' ' -f 2` $*