From 552fa44d3619da95c400ba36f40c6859c64db8a8 Mon Sep 17 00:00:00 2001 From: Erik Schnetter Date: Fri, 30 Nov 2007 20:35:58 -0600 Subject: Ignore all temporary thorns --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 52064cd..2c2e17e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,7 @@ # Lines starting with '#' are considered comments. -m/ML_* +m/ML* +m/*.err m/*.out *.[oa] -- cgit v1.2.3