100644 blob 7a68160da41ca46055d70fdca39754db41535d7c	Config.in
100644 blob 3f1dc63f30e47899ebef0c1d55e7113cc97c5b52	whetstone.hash
100644 blob 3b6ec3419b436e30e44ac9642ada274fd5400fc5	whetstone.mk