From: Mark Wooding Date: Wed, 24 May 2006 16:18:09 +0000 (+0100) Subject: infra: Ignore boring files. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/runlisp/commitdiff_plain/ca9292153d2e3b5a998f0ea8b4a8053dca4f58ef?ds=sidebyside;hp=ca9292153d2e3b5a998f0ea8b4a8053dca4f58ef infra: Ignore boring files. ---