diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2017-06-25 19:44:04 +0200 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2017-06-25 19:44:04 +0200 |
| commit | 357ec9764e523ddf2084a9f014922a3d10e22a25 (patch) | |
| tree | c7785be264afc4812a8d9e556b12990897587859 /src/tools | |
| parent | 44a305ba686bda6319d54cccf7069bfd5bb04f8d (diff) | |
Don't build anything but game libs by default.
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions