1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/java/ant/tip.sh Wed Dec 05 13:17:53 2012 +0100 1.3 @@ -0,0 +1,2 @@ 1.4 +#!/bin/sh 1.5 +hg id | cut -c1-12