Last Modified
Thu Feb 14 22:25:02 +0000 2013
Requires

Description

Parse a non-source file. We basically take the whole thing as one big comment. If the first character in the file is ’#’, we strip leading pound signs.