From 27d78e1e75177a05624b31bf788c445fc55f4e2a Mon Sep 17 00:00:00 2001
From: Niels <nmvdw@ip-145-116-140-192.wlan-int.ru.nl>
Date: Mon, 22 May 2017 16:45:51 +0200
Subject: [PATCH] Better gitignore

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

diff --git a/.gitignore b/.gitignore
index 4ae3c68..bcc540d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,6 @@
 *.glob
 *.v.d
 *.aux
+*.DS_Store
+*.agdai
 Makefile
\ No newline at end of file