log src/shake.sig

age author description
2008-06-08 Adam Chlipala Tree-shaking