diff linux/timer.c @ 5641:85df37cde3d3

print version number, so we know if the user forgot to copy/install the driver
author michael
date Mon, 15 Apr 2002 20:54:28 +0000
parents df50da00260a
children
line wrap: on
line diff