Admin/churn
author wenzelm
Mon, 23 Jul 2012 14:18:28 +0200
changeset 49459 c8c7b2b388d1
parent 40512 151fef652324
permissions -rwxr-xr-x
removed some old/unused stuff;
     1 #!/bin/bash
     2 
     3 ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
     4 cd "$ADMIN"
     5 hg churn --aliases user-aliases