From b45877de6cf776dbbd38f9d9290df80b15a46e9c Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 26 May 2016 09:26:09 +0100
Subject: [PATCH] .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       | 1 +
 utils/.gitignore | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 utils/.gitignore

diff --git a/.gitignore b/.gitignore
index d8ded004..fbea99bb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@ progs/getdate.h
 progs/getdate.y
 symm/modes.am
 symm/stubs.am
+*.sage.py
 *.t
 *.to
 /symm/safersk.h
diff --git a/utils/.gitignore b/utils/.gitignore
deleted file mode 100644
index cc9cc67d..00000000
--- a/utils/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-ec-compr-test.py
-- 
2.11.0