From 6dc80df433136dabec8a04abab13984d5d43613d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?I=C3=B1aki=20Garc=C3=ADa=20Etxebarria?=
 <garetxe@protonmail.ch>
Date: Sat, 8 Jun 2019 11:44:43 +0100
Subject: [PATCH] Add .so files to .gitignore [skip-ci]

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 5ce04c8e..ed14d17a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 # compiled files
 *.hi
 *.o
+*.so
 
 # cabal stuff
 .cabal-sandbox