# HG changeset patch
# User HackBot
# Date 1480351609 0
# Node ID 72392bf5f9c8c380149a3d4e2ec2e39832e9475d
# Parent  3deca224d5b6b3513ea9dd466bf19baf9b5f5bbc
<oerjan> mkx ops//\\? ops

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