diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-03-02 10:00:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-02 10:00:15 +0100 |
| commit | 96111ad902c1f4be2ae812a8714370fdcff84f4a (patch) | |
| tree | d65d55bef61de08a76d507d0e0ec97ab12566578 /maintainers | |
| parent | 767974f4116781e1f1b74be7076b966283cd67db (diff) | |
| parent | 892d46adbbb284501c00c7bfe0914d633845bcd2 (diff) | |
Merge pull request #7901 from hercules-ci/disable-tests
Add ./configure --disable-tests option
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions