commit bash-20160513 snapshot

2026-08-06 10:12:38 +02:00 · 2016-05-23 09:56:50 -04:00
parent 814e1ff513
commit 0fcb334438
24 changed files with 2475 additions and 2328 deletions
@@ -4,8 +4,9 @@
 \entry {\code {[[}}{12}
 \initial {]}
 \entry {\code {]]}}{12}
-\initial {\\}
+\initial {{\indexlbrace }}
 \entry {\code {{\tt \char 123}}}{14}
+\initial {{\indexrbrace }}
 \entry {\code {{\tt \char 125}}}{14}
 \initial {C}
 \entry {\code {case}}{11}