# HG changeset patch
# User hackbot
# Date 1621786132 0
# Node ID 97775c5dd3b32c974277521b6044d84b2be1999d
# Parent  b145736743e2b7203c20f133777edfd6b2575a7a
<\a> ` mv /hackenv/help/{help,info}.help

diff -r b145736743e2 -r 97775c5dd3b3 help/help.help
--- a/help/help.help	Sun May 23 15:36:58 2021 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-A command that prints 1-line help for a certain topic from /hackenv/help
diff -r b145736743e2 -r 97775c5dd3b3 help/info.help
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/help/info.help	Sun May 23 16:08:52 2021 +0000
@@ -0,0 +1,1 @@
+A command that prints 1-line help for a certain topic from /hackenv/help