diff options
| author | Zhiming Wang <zmwangx@gmail.com> | 2015-09-20 16:43:40 -0700 |
|---|---|---|
| committer | Zhiming Wang <zmwangx@gmail.com> | 2015-09-20 17:15:52 -0700 |
| commit | 72aac53b5d04a6d8194fc53d2c5112f805298237 (patch) | |
| tree | a153438e6a6a4c8e9217b2b1c68c68c1f46bb032 /tools/mkcasefold.pl | |
| parent | 3e0fa0695e26d1d77af8ebc8d70ed8817303a0b3 (diff) | |
Python 3.5 compatibility: add placeholder for HTMLParseError
HTMLParseError was removed in Python 3.5. Since it could never be thrown
in Python 3.5+, we simply define a placeholder when HTMLParseError
cannot be imported.
Diffstat (limited to 'tools/mkcasefold.pl')
0 files changed, 0 insertions, 0 deletions