syntax: fix bad search-and-replace.
parent
e477f6996f
commit
5fdc98cb97
|
@ -29,7 +29,7 @@ $nl
|
||||||
ARTICLE: "syntax-comments" "Comments"
|
ARTICLE: "syntax-comments" "Comments"
|
||||||
{ $subsections
|
{ $subsections
|
||||||
POSTPONE: !
|
POSTPONE: !
|
||||||
POSTPONE: !
|
POSTPONE: #!
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
ARTICLE: "syntax-immediate" "Parse time evaluation"
|
ARTICLE: "syntax-immediate" "Parse time evaluation"
|
||||||
|
@ -664,9 +664,9 @@ HELP: !
|
||||||
{ $values { "comment" "characters" } }
|
{ $values { "comment" "characters" } }
|
||||||
{ $description "Discards all input until the end of the line." } ;
|
{ $description "Discards all input until the end of the line." } ;
|
||||||
|
|
||||||
{ POSTPONE: ! POSTPONE: ! } related-words
|
{ POSTPONE: ! POSTPONE: #! } related-words
|
||||||
|
|
||||||
HELP: !
|
HELP: #!
|
||||||
{ $syntax "#!comment..." }
|
{ $syntax "#!comment..." }
|
||||||
{ $values { "comment" "characters" } }
|
{ $values { "comment" "characters" } }
|
||||||
{ $description "Discards all input until the end of the line." }
|
{ $description "Discards all input until the end of the line." }
|
||||||
|
|
Loading…
Reference in New Issue