Admin/churn
author boehmes
Mon, 20 Dec 2010 08:17:23 +0100
changeset 41300 528f5d00b542
parent 40269 151fef652324
permissions -rwxr-xr-x
perform monomorphization during normalization: schematic numerals might be monomorphized into built-in numerals and then numeral normalization is required

#!/bin/bash

ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
cd "$ADMIN"
hg churn --aliases user-aliases