log tests/cookieClear.urs

age author description
Thu, 10 Feb 2011 08:46:46 -0500 Adam Chlipala Fix some cookie-related bugs in MonoReduce