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 /.editorconfig | |
parent | 23c7c6fc9182b041f006b86ea1e7f99911ecf344 (diff) |
Allow old Make to build server. (#2098)
Also make server build by default.
Tested with Make 3.82
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions