chiark / gitweb /
Makefile.am (clean): Also delete the versioned dump files.