diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-01-11 22:25:19 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-01-11 22:25:19 +0000 |
| commit | 88487d6b67d4714d4bc63ca59a5ec7449b0bc219 (patch) | |
| tree | 914696674910abe71a8477890b5679390c8bbeeb /serverboot/def_pager_setup.c | |
| parent | 1c9f0a5afa9c6eb6af95106c382d441eadaa0949 (diff) | |
2001-01-09 Marcus Brinkmann <marcus@gnu.org>
* changelog: Update to reflect Debian upgrade.
* rules: Use --disable-profile wih configure instead no_prof=t
with make.
Diffstat (limited to 'serverboot/def_pager_setup.c')
0 files changed, 0 insertions, 0 deletions