projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b532cab 97a4fe2)
Merge pull request #871 from nico/ctrls
authorNico Weber <nicolasweber@gmx.de>
Tue, 2 Dec 2014 05:30:06 +0000 (21:30 -0800)
committerNico Weber <nicolasweber@gmx.de>
Tue, 2 Dec 2014 05:30:06 +0000 (21:30 -0800)
win: Let the "Pause" key or Ctrl-S pause output.


Trivial merge
Domain: System / Base;