diff admin/revdiff @ 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 450fa81c5930
children cde444d03b82 f55f9811f5d7
line wrap: on
line diff