# HG changeset patch
# User HackBot
# Date 1480351634 0
# Node ID c4f7738a55c3fb7b9c6dc2932cb5ec5cae23f59e
# Parent  72392bf5f9c8c380149a3d4e2ec2e39832e9475d
<oerjan> ` mv ops bin/ops

diff -r 72392bf5f9c8 -r c4f7738a55c3 bin/ops
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/ops	Mon Nov 28 16:47:14 2016 +0000
@@ -0,0 +1,1 @@
+\? ops
diff -r 72392bf5f9c8 -r c4f7738a55c3 ops
--- a/ops	Mon Nov 28 16:46:49 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-\? ops