diff options
| author | coqbot-app[bot] | 2020-09-22 11:14:46 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-22 11:14:46 +0000 |
| commit | 5a9538ed71cdcbbed6f8422b66070f0a987b5f59 (patch) | |
| tree | a164dccf8307489d2505dc98ee2439da2bf4cd0e /Makefile.dev | |
| parent | 16813b57cee24ffd46e4d3d50efa63d6c61fd9e6 (diff) | |
| parent | febcda97deaadb9a68f75949a775cfd88e7d04f0 (diff) | |
Merge PR #13049: [configure] Fix version checks for lablgtk and zarith
Reviewed-by: SkySkimmer
Reviewed-by: vbgl
Ack-by: Zimmi48
Ack-by: JasonGross
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions