commit | 5d43e7457162c74bab25ada64a5bf87489ca5896 | [log] [tgz] |
---|---|---|
author | Nico Weber <nicolasweber@gmx.de> | Thu Apr 05 12:12:02 2018 -0400 |
committer | GitHub <noreply@github.com> | Thu Apr 05 12:12:02 2018 -0400 |
tree | e010aa18736e8593cf64617603895daf55221111 | |
parent | 74b76d30105c74245628ebfa20148983fa0fc3d5 [diff] | |
parent | c1c8bbaa5fc95ee90ce50d2aa5e16f4c86431114 [diff] |
Merge pull request #1361 from ppluciennik/ppluciennik/flush_log Flush changes into .ninja_log right away.