author Philipp Wiesemann <>
Sat, 27 Apr 2013 14:26:15 +0200
changeset 7119 b0ad5dd4cabb
parent 4935 a727eda441be
permissions -rwxr-xr-x
Changed Java source file to use constant from API instead of just a String.

# Print the current source revision, if available

# FIXME: this prints the tip, which isn't useful if you're on a different
#  branch, or just not sync'd to the tip.
hg tip --template 'hg-{rev}:{node|short}' || (echo "hg-0:baadf00d"; exit 1)