From d7452bf58fd73000199dbac38d25d6969505ff23 Mon Sep 17 00:00:00 2001
From: Michael Coblenz <mcoblenz@users.noreply.github.com>
Date: Fri, 8 Mar 2019 07:47:43 -0500
Subject: [PATCH] Add MAlonzo directory. (#2978)

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

diff --git a/Agda.gitignore b/Agda.gitignore
index 171a3897..58ab67f0 100644
--- a/Agda.gitignore
+++ b/Agda.gitignore
@@ -1 +1,2 @@
 *.agdai
+MAlonzo/**