.gitignore, utils/.gitignore: Change Sage ignore rules.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 26 May 2016 08:26:09 +0000 (09:26 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 22 Apr 2017 19:25:55 +0000 (20:25 +0100)
commitb45877de6cf776dbbd38f9d9290df80b15a46e9c
tree498f57d07d83bc264a18ba910d17c1e751d615e1
parentd9d419b020ab2b6fc1b7bdfc8db24735c7f7b6fb
.gitignore, utils/.gitignore: Change Sage ignore rules.

It seems Sage now makes `.sage.py' files instead of plain `.py'.  This
is a much better idea, and it means that we can have a single rule to
ignore all of them.
.gitignore
utils/.gitignore [deleted file]