Changeset 56191

Timestamp:

Sep 14, 2009, 4:57:57 PM (13 years ago)

Author:

Vladimir Prus

Message:

Implement SPLIT_BY_CHARACTERS.

This is much faster than regex.split if splitting by a single char,
or by a set of one-char delimiters.

(No files)