Closed rkdarst closed 1 year ago
Just noticed it myself: I thought I had added it to .gitignore but apparently not. I made a new PR which adds it to .gitignore in addition to git rm:ing it.