diff input/input.c @ 8662:15bfe65d0b65

Some more small (cosmetic) updates.
author diego
date Mon, 30 Dec 2002 20:46:07 +0000
parents 14ab71b47a58
children b06f6d56d039
line wrap: on
line diff