diff src/evdev-plug/ed_ui.c @ 3039:f856ff6a0055

Add random skin on play to skins plugin preferences (bug #28)
author Tomasz Mon <desowin@gmail.com>
date Tue, 14 Apr 2009 09:39:10 +0200
parents 3134a0987162
children 6f45c19b3f74
line wrap: on
line diff