view loader/win32.h @ 1005:90682d6f84f5

terminal reset bug with gui fixed
author pontscho
date Mon, 04 Jun 2001 18:40:57 +0000
parents 3b5f5d1c5041
children d8c1b0b38edc
line wrap: on
line source

int ext_unknown();