diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-03-23 23:59:10 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:06 +0200 |
commit | 7a64ff605866ae14b57ba7b24bbfae21067eba7a (patch) | |
tree | 12108e7dd432ec3a3194b7fe276909c7d5bec6bd /kern/profile.c | |
parent | 0bcc497664baaecb2e8a9873d61201ddbfddf3cc (diff) |
2007-03-24 Thomas Schwinge <tschwinge@gnu.org>
* doc/mach.texi: Fix a typo and the url for GNU GRUB.
Diffstat (limited to 'kern/profile.c')
0 files changed, 0 insertions, 0 deletions