log src/export.sig

age author description
2009-04-23 Adam Chlipala Only use cookie signatures when cookies might be read
2009-04-16 Adam Chlipala Effectness analysis