diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-04 16:21:12 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-04 16:21:12 +0200 |
| commit | 9d1db65a9ea97f852a845b8e2ef2b0d4e85e027b (patch) | |
| tree | d4deb72e92b213fbc146add6f2305d08a12f073b /microkernel/mach | |
| parent | 1289f040062f589f13af06c515bc09e7889fb409 (diff) | |
Make ``<hr>''s look the same way as the line separating the page content from the footer.
Diffstat (limited to 'microkernel/mach')
0 files changed, 0 insertions, 0 deletions