commit bash-20160122 snapshot

2026-08-12 05:00:50 +02:00 · 2016-01-26 11:11:49 -05:00
parent 1b05a005ef
commit 037a8b7fe4
108 changed files with 34406 additions and 29270 deletions
@@ -4,7 +4,7 @@
 \entry {\code {[[}}{12}
 \initial {]}
 \entry {\code {]]}}{12}
-\initial {|}
+\initial {\\}
 \entry {\code {{\tt \char 123}}}{14}
 \entry {\code {{\tt \char 125}}}{14}
 \initial {C}