projects / platform / upstream / ninja.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 207ff58) | patch
provide a better title for the manual
authorEvan Martin <martine@danga.com>
Tue, 17 Nov 2015 22:02:43 +0000 (14:02 -0800)
committerEvan Martin <martine@danga.com>
Tue, 17 Nov 2015 22:02:43 +0000 (14:02 -0800)
commit274db07276106944f63a3387bc3826e2211da154
tree820ecc5907f5f65a092271784887d41fe7579e57tree | snapshot
parent207ff58e44294a8ce7df044b9b01f96799a972accommit | diff
provide a better title for the manual

In particular, this helps web search engines index it.
doc/manual.asciidoc diff | blob | history
Domain: System / Base;