make/configure.vm
| Sat, 14 Nov 2020 21:11:35 +0100 | Olaf Wintermann | fix configure target options | file | diff | annotate |
| Sat, 14 Nov 2020 20:58:20 +0100 | Olaf Wintermann | update build system | file | diff | annotate |
| Mon, 04 Feb 2019 14:46:11 +0100 | Olaf Wintermann | new build system | file | diff | annotate |
