• Gerd Moellmann's avatar
    Change · 045dee35
    Gerd Moellmann authored
    `top-line' and `top_line' to `header-line' and `header_line'.
    Likewise for similar spellings.
    045dee35
keyboard.c 294 KB