Admin/churn
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 23 Sep 2010 16:38:25 +0200
branchisac-update-Isa09-2
changeset 38015 67ba02dffacc
parent 29556 7c128276aa93
child 40512 151fef652324
permissions -rwxr-xr-x
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
     1 #!/bin/bash
     2 
     3 ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
     4 cd "$ADMIN"
     5 hg churn --aliases user-aliases --progress