From 654f86cf51fcc5430f16c712f8e5c260a0fdde95 Mon Sep 17 00:00:00 2001
From: Matteo Bertini <matteo@naufraghi.net>
Date: Thu, 26 Jan 2017 18:28:38 +0100
Subject: [PATCH] Ignore binaries and makefile stamps

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index cca8b538..cf119a1d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,6 @@
 /doc
 /gh-pages
 
+*.so
+*.out
+extensions/stamps/