diff options
author | Jan Niklas Hasse <jhasse@bixense.com> | 2019-05-09 15:38:06 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-09 15:38:06 (GMT) |
commit | 1db07edafc8bb22b6d5e30efb0effe7cd756de61 (patch) | |
tree | f4fdf019cad3ee6dc5fce2338f144431797607a2 /.gitignore | |
parent | 2e64645749ff91eff2f999f03f55da360ae5913d (diff) | |
parent | bb9512f53daa5913220282f0ad86a20d174e367c (diff) | |
download | Ninja-1db07edafc8bb22b6d5e30efb0effe7cd756de61.zip Ninja-1db07edafc8bb22b6d5e30efb0effe7cd756de61.tar.gz Ninja-1db07edafc8bb22b6d5e30efb0effe7cd756de61.tar.bz2 |
Merge pull request #1025 from nicolasdespres/resurrect-rules-tool
Resurrect the 'rules' tool.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions