|
| From: | ng0 |
| Subject: | can I drop the glpk check? |
| Date: | Fri, 25 Oct 2019 11:18:10 +0000 |
Hi, a while back Christian removed what looks like the only user of glpk. When you search for glpk, you find no traces in src. Is it likely that we'll add back glpk using code at some point, or can I drop the configure check for it?
| [Prev in Thread] | Current Thread | [Next in Thread] |