view libmpdemux/mpdemux.h @ 4982:6cb9d9a1716d

HTML: different font handling - idea from new hp dezign ocassional misc fixes
author gabucino
date Thu, 07 Mar 2002 17:55:34 +0000
parents 3e2c7bf57035
children
line wrap: on
line source


extern int mpdemux_check_interrupt(int time);