commit | 4d3b315329a46ad18c845948c6a22dc54edc6b0b | [log] [tgz] |
---|---|---|
author | Jan Niklas Hasse <jhasse@bixense.com> | Tue Jul 02 14:46:53 2019 +0200 |
committer | GitHub <noreply@github.com> | Tue Jul 02 14:46:53 2019 +0200 |
tree | 1fecfc5f1728cd956a0e5253417c5323141ed3e5 | |
parent | e6aeab857894226475489f55bba4ec6e01672a41 [diff] | |
parent | cfd0bd3007b291df505f8c45083453310142d681 [diff] |
Merge pull request #1517 from chagui/1492-add-headers-to-ninja_log #1492 add column headers to .ninja_log