diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-12-29 22:07:11 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-29 22:07:11 -0800 |
| commit | d943eed9db668bb3399264d5c978e20882bc6098 (patch) | |
| tree | 2c6167e98dc30a0a40e40ab1909a257a188c0d95 /Makefile | |
| parent | 18a1522edd5a81cee3d78978b81a8b3c93891a61 (diff) | |
spec: Define ascii punctuation character separately.
That's because some ascii punctuation characters (like `<`)
are not in a "P" character class (they are mathematical symbols).
They need to be escapable so we'll treat them as "punctuation" here.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions