diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2018-12-19 11:08:44 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2018-12-19 11:08:44 -0500 |
| commit | fdd3695f9d4f754417da10018b260006e69b0e34 (patch) | |
| tree | afffd4c4d24d859b320069c81d98ca1976356d7c /demo | |
| parent | c19f3908ab5b18387e31b53ed6ac279daa9b4695 (diff) | |
Follow-up to #146: configure tests if ICU is available (now using ICU_INCLUDES to search for header)
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions