diff options
| author | Aokromes <Aokromes@users.noreply.github.com> | 2017-02-09 09:46:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-09 09:46:05 +0100 |
| commit | 48724ada69be73cd7643b21ee243b746caffbe0e (patch) | |
| tree | 06d5d35b9bd49b3482da2a1ad14a51149b1abffc /src | |
| parent | c7d6b6f92c4eede6911ef7b57712f359b9b49df1 (diff) | |
Tools: Enable tools compilation by default
(the time diff is small and it will help starters, advanced users can disable it at any time on cmake guy/compilation script)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions