vga_addtiming(3vga) on Linux

The text 800e312cb0c6, as Debian 3.0 (Woody) shipped it. The page shows this text now.

add a timing line to svgalib user timing list

vga_addtiming(3vga) on Linux now