$findtokcs: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
no toktok... |
||
Line 1: | Line 1: | ||
$ | $findtokcs() is the case-sensitive version of [[$findtok]]. | ||
[[Category:Token Identifiers]] | [[Category:Token Identifiers]] |
Latest revision as of 16:48, 16 October 2005
$findtokcs() is the case-sensitive version of $findtok.