# HG changeset patch
# User HackBot
# Date 1480648802 0
# Node ID d63cd1befa83ffb3a3916b1f0b817d0884aa9d21
# Parent  9370cb4a08772a9f20a5d363e158b013b4fa3cab
<shachaf> ` mv share/{bad,scow}revs

diff -r 9370cb4a0877 -r d63cd1befa83 share/badrevs
--- a/share/badrevs	Fri Dec 02 03:19:33 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-1000
-1001
-121
-122
-1493
-1497
-194
-195
-196
-2113
-2114
-3341
-3342
-3343
-4530
-4531
-5642
-5643
-5895
-5897
-770
-771
-9070
-9071
-9074
-9075
diff -r 9370cb4a0877 -r d63cd1befa83 share/scowrevs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/share/scowrevs	Fri Dec 02 03:20:02 2016 +0000
@@ -0,0 +1,26 @@
+1000
+1001
+121
+122
+1493
+1497
+194
+195
+196
+2113
+2114
+3341
+3342
+3343
+4530
+4531
+5642
+5643
+5895
+5897
+770
+771
+9070
+9071
+9074
+9075