From: Nico Weber Date: Tue, 29 Dec 2015 15:08:42 +0000 (-0500) Subject: Merge pull request #1073 from ninja-build/manual-font X-Git-Tag: upstream/1.7.0^2~30 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=c2e810ca4314f112cb65fabd35583b10136faea2;hp=-c;p=platform%2Fupstream%2Fninja.git Merge pull request #1073 from ninja-build/manual-font use the default font size for manual headings --- c2e810ca4314f112cb65fabd35583b10136faea2