changeset 9917:62e6d759c7ed

<shachaf> ` echo $\'5137\\n5136\' >> share/scowrevs; sort share/scowrevs -o share/scowrevs
author HackBot
date Sat, 10 Dec 2016 03:52:37 +0000
parents 5fed8477e93f
children 81dccaed48c7
files share/scowrevs
diffstat 1 files changed, 8 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/share/scowrevs	Sat Dec 10 03:51:43 2016 +0000
+++ b/share/scowrevs	Sat Dec 10 03:52:37 2016 +0000
@@ -1,14 +1,12 @@
+1000
+1001
 121
 122
+1493
+1497
 194
 195
 196
-770
-771
-1000
-1001
-1493
-1497
 2113
 2114
 3341
@@ -16,10 +14,14 @@
 3343
 4530
 4531
+5136
+5137
 5642
 5643
 5895
 5897
+770
+771
 9070
 9071
 9074