diff options
| author | Aokromes <Aokromes@users.noreply.github.com> | 2017-02-09 09:45:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-09 09:45:14 +0100 |
| commit | 02633a332cf730984d17f422f0571458676e3604 (patch) | |
| tree | eadb2ef5c255f0ca80bafe4a7d6693dff9ce7473 /src/common/GitRevision.cpp | |
| parent | 09cc6b3c33cbe7becfbeb47846253da5febfc5e6 (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/common/GitRevision.cpp')
0 files changed, 0 insertions, 0 deletions