steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

help.html: escape # in word names. Reported by ex_rzrjck

db4
Slava Pestov 2009-07-06 04:24:01 -05:00
parent 5484bd3241
commit 4d950dee9a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
basis/help/html/html.factor
View File

@ -24,6 +24,7 @@ IN: help.html
{ CHAR: / "__slash__" } { CHAR: / "__slash__" }
{ CHAR: , "__comma__" } { CHAR: , "__comma__" }
{ CHAR: @ "__at__" } { CHAR: @ "__at__" }
{ CHAR: # "__hash__" }
} at [ % ] [ , ] ?if } at [ % ] [ , ] ?if
] [ number>string "__" "__" surround % ] if ; ] [ number>string "__" "__" surround % ] if ;