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 /src | |
| 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 'src')
0 files changed, 0 insertions, 0 deletions