diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-06-06 15:28:29 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-06-06 15:28:29 +0000 |
commit | 8028e92d386f8f06cba99e6e04bd8f689822dbdc (patch) | |
tree | 18d31ef7d25407926f7ba32f3f0793b97a162797 /serverboot | |
parent | 34c26318512ea9293b1d4019cdedde1ca550b419 (diff) |
2007-06-06 Thomas Schwinge <tschwinge@gnu.org>
* Makefile: Remove a comment.
* setup.c (default_pager_paging_storage): Rename to
`S_default_pager_paging_storage'.
Diffstat (limited to 'serverboot')
0 files changed, 0 insertions, 0 deletions