diff options
| author | pacien | 2020-04-17 22:05:39 +0200 |
|---|---|---|
| committer | pacien | 2020-04-17 22:05:42 +0200 |
| commit | 7449b0480c2ce820aa59716c4e6d5241e045ca62 (patch) | |
| tree | 6f1e4920118d9b1134244a04f56c330ab70f25ad /compiler/Setup.hs | |
| parent | 69cd09b4eba999447527819401ff9e23bfa1134e (diff) | |
| download | ldgallery-7449b0480c2ce820aa59716c4e6d5241e045ca62.tar.gz | |
viewer: ldcommandsearch: clarify flex shrink fix
The bug only affects old version of webkit and seem to have been fixed in the
latest releases of Chromium.
GitHub: #183
Diffstat (limited to 'compiler/Setup.hs')
0 files changed, 0 insertions, 0 deletions