From f2af400d0877874069ebae8c5adc4bc6b0063e25 Mon Sep 17 00:00:00 2001
From: Mayank <mayankrathee.japan@gmail.com>
Date: Wed, 18 Sep 2019 18:57:50 +0530
Subject: [PATCH] Updated gitignore

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

diff --git a/Porthos/.gitignore b/Porthos/.gitignore
index e30286a..778019b 100644
--- a/Porthos/.gitignore
+++ b/Porthos/.gitignore
@@ -3,3 +3,4 @@ util/Miracl/
 **/*.out
 *.log
 **/*.swp
+lib_eigen/
-- 
GitLab