# HG changeset patch
# User HackBot
# Date 1465088279 0
# Node ID 4896a2d2f3fc5c158d958fa9fe068264c7d2d671
# Parent  84bc636dbeab702d327e2f198aeb901cad5f6265
<shachaf> rm output

diff -r 84bc636dbeab -r 4896a2d2f3fc output
--- a/output	Sat Jun 04 23:58:44 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-No output.