From 80bb5d6b0463e6e9532d51eb861c8b99eb807117 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Thu, 2 Sep 2010 05:13:29 -0400 Subject: [PATCH] Duplicate older rendering with a double line after the table header. --- doc/intercal.mm | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/intercal.mm b/doc/intercal.mm index 1f5d636..1c63de9 100644 --- a/doc/intercal.mm +++ b/doc/intercal.mm @@ -3021,6 +3021,7 @@ This footnote intentionally unreferenced. box; l l l. Character Name Use (if any) += \&. spot identify 16-bit variable : two-spot identify 32-bit variable , tail identify 16-bit array @@ -3079,6 +3080,7 @@ $ big money \fIbinary mingle (ASCII)\fR box; l l l. Character Name Use (if any) += \&. spot identify 16-bit variable : two-spot identify 32-bit variable , tail identify 16-bit array -- 2.43.0