diff options
author | 2018-05-10 16:20:28 +0200 | |
---|---|---|
committer | 2018-05-10 16:20:28 +0200 | |
commit | 5c372a62b8ddc37b5e40c0281cb90076d466dae6 (patch) | |
tree | f7c8446600e650df27be4638a29d9563da755f38 /test/core/util | |
parent | 149e06973e7b0fa74a404c1188a12ff481e7e38a (diff) | |
parent | 1dd431b25a94a8546a79d9efe6c1fa8672467825 (diff) |
Merge pull request #15330 from jtattermusch/no_ninja_install
"ninja install" command in instructions is misleading
Diffstat (limited to 'test/core/util')
0 files changed, 0 insertions, 0 deletions