3 commits

Author	SHA1	Message	Date
rodent	a0a1f2e57c	Fixes: ... COMMENT should not be longer than 70 characters. COMMENT should not begin with 'A'. COMMENT should not begin with 'An'. COMMENT should not begin with 'a'. COMMENT should not end with a period. COMMENT should start with a capital letter. pkglint warnings. Some files also got minor formatting, spelling, and style corrections.	2013-04-06 03:45:05 +00:00
asau	6ebceaf75d	Drop PKG_DESTDIR_SUPPORT setting, "user-destdir" is default these days.	2012-10-08 13:45:34 +00:00
is	b727022bcd	Shaded theorem environment.	2012-09-12 16:00:31 +00:00