diff etc/compilation.txt @ 86876:24d5cc50cf7d

(w32con_ins_del_lines, scroll_line): Clip to window. (w32con_reset_terminal_modes): Clear screen buffer. (vga_stdcolor_name): Remove.
author Jason Rumney <jasonr@gnu.org>
date Fri, 30 Nov 2007 13:57:21 +0000
parents 1fa61031bef4
children 8dd090420a99 53108e6cea98
line wrap: on
line diff