diff linux/timer.c @ 6551:c930dffac92c

Fix after the patch of Dominik Mierzejewski. Try the user's input.conf before the global one.
author albeu
date Mon, 24 Jun 2002 12:17:23 +0000
parents df50da00260a
children
line wrap: on
line diff