log

age author description
Sun, 07 Feb 2010 15:50:13 -0500 Adam Chlipala Tiny Makefile fix for sed style/compatibility