diff options
| author | Xuejie Xiao <xxuejie@gmail.com> | 2012-12-10 20:41:58 -0500 |
|---|---|---|
| committer | Xuejie Xiao <xxuejie@gmail.com> | 2012-12-10 20:47:47 -0500 |
| commit | 3732b13dce850dd6dc43ab390a7caf363d9d8edd (patch) | |
| tree | cf55fefff939b60b05dffe37b34d51de4d22c26a /tools/shared.py | |
| parent | 1522befda65f6bc6c9cf5234ae7e078437cb5e65 (diff) | |
Remove regexp case since it is slow and rarely used
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions