Fix help lint warning
parent
d7d7f5c958
commit
e95bda8144
|
@ -74,7 +74,7 @@ HELP: word-inputs
|
||||||
HELP: add-timing
|
HELP: add-timing
|
||||||
{ $values { "word" word } }
|
{ $values { "word" word } }
|
||||||
{ $description "Adds timing code to a word, which records its total running time, including that of words it calls, on every invocation." }
|
{ $description "Adds timing code to a word, which records its total running time, including that of words it calls, on every invocation." }
|
||||||
{ $see-also "tools.time" } ;
|
{ $see-also "timing" "profiling" } ;
|
||||||
|
|
||||||
HELP: reset-word-timing
|
HELP: reset-word-timing
|
||||||
{ $description "Resets the word timing table." } ;
|
{ $description "Resets the word timing table." } ;
|
||||||
|
|
Loading…
Reference in New Issue