Put "#\" in title of character name registry

This commit is contained in:
Lassi Kortela 2020-08-07 11:32:00 +03:00
parent fd90bd056f
commit 77d98ae8c1
1 changed files with 1 additions and 1 deletions

View File

@ -171,7 +171,7 @@
(define (character-name) (define (character-name)
(registry (registry
"Character names" "#\\ character names"
"character-name" "character-name"
'(p) '(p)
(tabulate (tabulate