Admin/churn
author bulwahn
Sat, 21 Jul 2012 10:53:26 +0200
changeset 49429 43875bab3a4c
parent 40512 151fef652324
permissions -rwxr-xr-x
handling partiality in the case where the equality optimisation is applied
     1 #!/bin/bash
     2 
     3 ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
     4 cd "$ADMIN"
     5 hg churn --aliases user-aliases