mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-24 08:09:22 +00:00
okuji
1548282786
* docs/grub.texi (Reporting bugs): Use the group name (i.e. grub) instead of the group id (i.e. 68) for the URL of the BTS.
5 lines
90 B
Plaintext
5 lines
90 B
Plaintext
@set UPDATED 4 July 2002
|
|
@set UPDATED-MONTH July 2002
|
|
@set EDITION 0.93
|
|
@set VERSION 0.93
|