projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a703564 0bf1bd3)
Merge pull request #862 from nico/browse
authorNico Weber <nicolasweber@gmx.de>
Sat, 22 Nov 2014 02:24:03 +0000 (18:24 -0800)
committerNico Weber <nicolasweber@gmx.de>
Sat, 22 Nov 2014 02:24:03 +0000 (18:24 -0800)
Make browse detection consistent with other platform checks.

1  2 
configure.py patch | diff1 | diff2 | blob | history

diff --cc configure.py
Simple merge
Domain: System / Base;