From: Michael Coblenz <mcoblenz@users.noreply.github.com>
Date: Fri, 8 Mar 2019 12:47:43 +0000 (-0500)
Subject: Add MAlonzo directory. (#2978)
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=d7452bf58fd73000199dbac38d25d6969505ff23;p=gitignore.git

Add MAlonzo directory. (#2978)
---

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