Admin/churn
author wenzelm
Sat Nov 13 12:32:21 2010 +0100 (2010-11-13 ago)
changeset 40521 8896bd93488e
parent 40269 151fef652324
permissions -rwxr-xr-x
back to quick_and_dirty, which is still practically important since the scheduler does not jump over subproofs;
     1 #!/bin/bash
     2 
     3 ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
     4 cd "$ADMIN"
     5 hg churn --aliases user-aliases