diff options
author | Alexey Neyman <stilor@att.net> | 2017-11-11 23:54:54 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-11 23:54:54 (GMT) |
commit | 7a1e90c3ceab074de901f2d10df7118596003af6 (patch) | |
tree | 0e5b09107c179a652bee7f93a2f9eded6890f8bd /config | |
parent | 521d6c1782b7dc4cea7dcf2baf5bc047a7664939 (diff) | |
parent | 09151040fba978c6ecebe412880c58121a45d402 (diff) |
Merge pull request #862 from ksergeyv/master
use ${CT_${cc}_VERSION} to show a compiler version
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions