diff options
author | Nico Weber <nicolasweber@gmx.de> | 2015-12-29 15:08:42 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2015-12-29 15:08:42 (GMT) |
commit | c2e810ca4314f112cb65fabd35583b10136faea2 (patch) | |
tree | 50d696a9ee2febf5301e35071c418fdf370cfb83 /.travis.yml | |
parent | a99dcc914c9f12790ccb774a1e68e97bae7d4b79 (diff) | |
parent | 50a1cc39b731ff144781d7f3020769d7f4c54e28 (diff) | |
download | Ninja-c2e810ca4314f112cb65fabd35583b10136faea2.zip Ninja-c2e810ca4314f112cb65fabd35583b10136faea2.tar.gz Ninja-c2e810ca4314f112cb65fabd35583b10136faea2.tar.bz2 |
Merge pull request #1073 from ninja-build/manual-font
use the default font size for manual headings
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions