diff debian/menu @ 4831:9153d1275b6d

do not fault if no directbuffer available (for example: ggi display-multi)
author alex
date Sun, 24 Feb 2002 02:50:02 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff