diff configure @ 2917:3dd4e8a45d0d

double buffering. But problems are still there
author nick
date Thu, 15 Nov 2001 17:29:52 +0000
parents 5ecae3e4db37
children 9cc53b9f76c8
line wrap: on
line diff