# HG changeset patch
# User wenzelm
# Date 753008443 -3600
# Node ID 7a5d207e61513e83ddaee92eb0d4478a3029bb9e
# Parent  216d6ed87399fad46ed41bf3b8e0f4b76c129f09
*** empty log message ***

diff -r 216d6ed87399 -r 7a5d207e6151 doc-src/MacroHints
--- a/doc-src/MacroHints	Wed Nov 10 05:06:55 1993 +0100
+++ b/doc-src/MacroHints	Thu Nov 11 10:00:43 1993 +0100
@@ -1,3 +1,4 @@
+
 
 Hints
 =====