diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2018-04-05 01:50:36 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-05 01:50:36 (GMT) |
| commit | a741b119e6d29061a4fbdedf35dc196e4cee67ec (patch) | |
| tree | 2dab6dd869df910231c866cfe1f9458d42004d36 /src/clean.cc | |
| parent | 4fd758a81bece5bc03bdb40c81de6886a06baa77 (diff) | |
| parent | b4b283e7dc43f8b29f80b37a24f1f21ddf8640c6 (diff) | |
| download | Ninja-a741b119e6d29061a4fbdedf35dc196e4cee67ec.zip Ninja-a741b119e6d29061a4fbdedf35dc196e4cee67ec.tar.gz Ninja-a741b119e6d29061a4fbdedf35dc196e4cee67ec.tar.bz2 | |
Merge pull request #1386 from jmgao/exit
Don't clean up after ourselves when exiting.
Diffstat (limited to 'src/clean.cc')
0 files changed, 0 insertions, 0 deletions