# HG changeset patch # User HackBot # Date 1481343036 0 # Node ID afe981e5dae2365ce6f1e1cfee2dd2c450f6d150 # Parent ddcf85bc57f0061d6a547f022477e06e9db5f0dc mkx bin/addscowrevs//echo $@ | xargs -n 1 | sort -n - share/scowrevs -o share/scowrevs diff -r ddcf85bc57f0 -r afe981e5dae2 bin/addscowrevs --- a/bin/addscowrevs Sat Dec 10 04:10:16 2016 +0000 +++ b/bin/addscowrevs Sat Dec 10 04:10:36 2016 +0000 @@ -1,1 +1,1 @@ -echo $@ | xargs -n 1 | sort - share/scowrevs -o share/scowrevs +echo $@ | xargs -n 1 | sort -n - share/scowrevs -o share/scowrevs