diff src/skins/ui_skinned_number.h @ 2789:b34c4e3d9488

copy playlist manager into skins plugin
author Tomasz Mon <desowin@gmail.com>
date Wed, 09 Jul 2008 16:18:55 +0200
parents fa798fbd5fe9
children 7c7471554d88
line wrap: on
line diff