diff options
| author |  Jasper Hugunin <jasperh@cs.washington.edu> | 2018-01-11 18:38:41 +0900 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-01-11 18:38:41 +0900 |
| commit | 23f9c7745a58d5a1727a1dfda0b2ad4cdc355ec8 (patch) | |
| tree | 61b0ed7d00f6730a32306a6606ee8eba738197d6 /configure.ml | |
| parent | d439c01190f45de5ac493b8f55d361503e83ad03 (diff) | |
Remove references to removed Unicode.Unsupported
This exception was removed in
[on Oct 13, 2016](https://github.com/coq/coq/commit/57c6ffd23836364168ffd1c66dbddbecf830c7c6#diff-297bc4c11289c2c0ed18d5eebf817c47).
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions