From e5e7da148267f2fe07df88b762df286dc0448da6 Mon Sep 17 00:00:00 2001 From: Konrad Borowski Date: Mon, 12 Aug 2013 09:58:45 +0300 Subject: [PATCH] Ignore executable files I commited executables in previous commit (removed using git push --force - sorry, I wouldn't want to waste space in git repository), so I think *.exe files should be forbidden to avoid any problems (there is no reason to ever commit them) --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 57cd62b34..b2ea73dc2 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ *.o *~ +*.exe Makefile autom4te.cache/