diff linux/lrmi.c @ 6796:9c828335b2d0

add preferences to gui
author pontscho
date Thu, 25 Jul 2002 20:34:33 +0000
parents f0f681ef92ff
children
line wrap: on
line diff