# HG changeset patch
# User HackBot
# Date 1483211761 0
# Node ID 530b444efb33dfb72ef53aa719a8a5777c578fab
# Parent  276a774c80ca1a6762ac1c6f0926543b9d94aa58
<shachaf> mkx bin/dedot//print_args_or_input "$2\' | sed \'s.\xcc\x88..\'

diff -r 276a774c80ca -r 530b444efb33 bin/dedot
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/dedot	Sat Dec 31 19:16:01 2016 +0000
@@ -0,0 +1,1 @@
+print_args_or_input "$2' | sed 's.̈..'