From 5799b81c800614fa1d7179b461511d6c73fdf318 Mon Sep 17 00:00:00 2001
From: Sarvesh Prakash Nikumbh <snikumbh@mpi-inf.mpg.de>
Date: Wed, 19 Jul 2017 18:14:20 +0200
Subject: [PATCH] gitignore updated.

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

diff --git a/.gitignore b/.gitignore
index 9132d90..d6bf009 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@
 
 !*.m
 runs_comikl*.m
+export_paths.sh