diff options
| author | jmmv <jmmv@NetBSD.org> | 2004-07-30 10:47:20 +0000 |
|---|---|---|
| committer | jmmv <jmmv@NetBSD.org> | 2004-07-30 10:47:20 +0000 |
| commit | cda2a3bba155c9e0c14f8040f14383a204d7b6e8 (patch) | |
| tree | 974ee47674edd8de19668c7b40693ad2ff1e0429 /gnu/dist/groff/src/preproc/html/pushback.cpp | |
| parent | 4ebba2e5cb9f6809aba6dde88158a6e0f514f686 (diff) | |
Fix initialitzation of border color at boot time through the
WSDISPLAY_BORDER_COLOR option, broken by a last-minute change.
Pointed out by xtraeme@.
Also back out the previous change by dogcow@, which was an attempt
to fix kernel builds that didn't define WSDISPLAY_CUSTOM_BORDER;
shouldn't be needed now. (Problem also introduced by the same
last-minute change; sorry).
Diffstat (limited to 'gnu/dist/groff/src/preproc/html/pushback.cpp')
0 files changed, 0 insertions, 0 deletions
