diff options
| author | Magnus Hagander | 2021-05-17 19:54:36 +0000 |
|---|---|---|
| committer | Magnus Hagander | 2021-05-17 19:56:42 +0000 |
| commit | cff8436f19e1c0c278f1ee96d450507fbd43f9ef (patch) | |
| tree | 194ef6ed479c31685c725cc171e219c1f58e165d /configure | |
| parent | fe2fb9ebcae8445fdb3915ecf8402a3a887effc2 (diff) | |
Remove obsolete reference to winflex download
We used to distribute a binary version of flex for windows on our
download site, but it hasn't been working for many years. The "old
documentation" referenced was also for versions that have been EOL for
many years. So, remove it.
Discussion: https://postgr.es/m/CABUevEwXLJpVpab62f7AFXNWQ5=U0kvErCLq4VEsikidLyzSQg@mail.gmail.com
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions