projects / platform / upstream / ninja.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f561c87) | patch
also note that branch release needs to be pushed
authorNico Weber <nicolasweber@gmx.de>
Fri, 27 Jun 2014 21:11:23 +0000 (14:11 -0700)
committerNico Weber <nicolasweber@gmx.de>
Fri, 27 Jun 2014 21:11:23 +0000 (14:11 -0700)
commitcfde750a22568d8050f15880ec055ff93b783c32
treeeb5cd1c9dc1d56838c2cc888ce64986242ab1dfftree | snapshot
parentf561c87da6a64e4bf3f4beda922643d561546978commit | diff
also note that branch release needs to be pushed
RELEASING diff | blob | history
Domain: System / Base;