diff options
| author | Henri Vasserman <henv@hot.ee> | 2023-07-04 15:38:04 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-04 15:38:04 +0300 |
| commit | acc111caf93fc6681450924df9f99679c384c59e (patch) | |
| tree | 49cf6cd914c14b24a633b0555e43b41b41312fd5 /docs | |
| parent | 23c7c6fc9182b041f006b86ea1e7f99911ecf344 (diff) | |
Allow old Make to build server. (#2098)
Also make server build by default.
Tested with Make 3.82
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions