Difference between revisions of "$findtokcs"

Revision as of 18:48, 16 October 2005

$findtoktokcs() is the case-sensitive version of $findtok.