vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

* docs/grub-dev.texi: Remove dot from .png.

Browse source
This commit is contained in:
Jordan Uggla 2012-05-22 09:15:28 +02:00 committed by Vladimir 'phcoder' Serbinenko
parent 13c6353fc7
commit 8f803a5d1f
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2012-05-22 Jordan Uggla <jordan.uggla@gmail.com>
* docs/grub-dev.texi: Remove dot from .png.
2012-05-22 Vladimir Serbinenko <phcoder@gmail.com> 2012-05-22 Vladimir Serbinenko <phcoder@gmail.com>
* grub-core/partmap/gpt.c (grub_gpt_partition_map_iterate): Accept * grub-core/partmap/gpt.c (grub_gpt_partition_map_iterate): Accept

2
docs/grub-dev.texi
View file

@ -1689,7 +1689,7 @@ right edges of two adjacent glyphs. The @strong{device width} field determines
the effective leading value that is used to render the font. the effective leading value that is used to render the font.
@end itemize @end itemize
@image{font_char_metrics,,,,.png} @image{font_char_metrics,,,,png}
An illustration of how the various font metrics apply to characters. An illustration of how the various font metrics apply to characters.