chiark / gitweb /
.gitignore: Ignore another generated makefile.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 17 Apr 2018 00:59:30 +0000 (01:59 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 17 Apr 2018 21:51:36 +0000 (22:51 +0100)
commit194b623f2bbfe9d0e8dd6a2c933d7a69b2394615
tree3432430da5b3a620f5807285dd5dc2d7454e3fac
parent3edb59b114f95dad7c0407b1c48d337338de310e
.gitignore: Ignore another generated makefile.
.gitignore