K 10
svn:author
V 2
rm
K 8
svn:date
V 27
2013-02-18T18:23:39.123562Z
K 7
svn:log
V 130
- update to 20120925
- trim Makefile header, while here

PR:		176206
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

END