From af880e2cfbbbd90c8a7b9189ff3ab9e5bccf606b Mon Sep 17 00:00:00 2001 From: James Booth Date: Thu, 30 Jan 2014 21:36:05 +0000 Subject: [PATCH] Added push-all.sh to .gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 7d081ef9..48c8c09f 100644 --- a/.gitignore +++ b/.gitignore @@ -45,3 +45,4 @@ src/prof_config.h clean.sh valgrind.out.old testsuite.out +push-all.sh