From: adam Date: Mon, 26 Mar 2007 05:37:42 +0000 (-0400) Subject: minor cleanups to CharInput X-Git-Tag: tag_for_25-Mar~24 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=987a3f1d9ae796bb8db1294654125b07255128a5;hp=987a3f1d9ae796bb8db1294654125b07255128a5 minor cleanups to CharInput darcs-hash:20070326053742-5007d-8819a00bc26b3f0011ff7c83a0c82b57a2676f6b.gz ---