# HG changeset patch
# User HackBot
# Date 1481342924 0
# Node ID 1f3e17ee37cf48c503d7196db43d6e5d205c7ec9
# Parent  81dccaed48c7065b1b5ef0933e47a456ff0fb382
<oerjan> mkx bin/addscowrevs//echo $@ | xargs -n 1 | sort - share/scowrevs -o share/scowrevs

diff -r 81dccaed48c7 -r 1f3e17ee37cf bin/addscowrevs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/addscowrevs	Sat Dec 10 04:08:44 2016 +0000
@@ -0,0 +1,1 @@
+echo $@ | xargs -n 1 | sort - share/scowrevs -o share/scowrevs