chiark / gitweb /
.gitignore: Delete now that we don't need this thing any more.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 30 Apr 2022 17:38:22 +0000 (18:38 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 30 Apr 2022 17:38:22 +0000 (18:38 +0100)
commit09d274abdda494424271ffff4f83ee5a58cb262e
treee58fc4fcbb63f28c9dad204f8423e28986875813
parente370d22add00480a67fd028c0e7d3148737fe484
.gitignore: Delete now that we don't need this thing any more.
.gitignore [deleted file]