# HG changeset patch
# User hackbot
# Date 1621779156 0
# Node ID e32c822c5ac7e0f57188b81d07000c662c2d6320
# Parent  77ab80823cf18cb8c084ed7c6080a1ff4e30174f
<\a> ` echo "echo -e \\"\\\\0002\\$1\\"" > /hackenv/bin/bold

diff -r 77ab80823cf1 -r e32c822c5ac7 bin/bold
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/bold	Sun May 23 14:12:36 2021 +0000
@@ -0,0 +1,1 @@
+echo -e "\0002$1"