Add MAlonzo directory. (#2978)

author Michael Coblenz <mcoblenz@users.noreply.github.com>

Fri, 8 Mar 2019 12:47:43 +0000 (07:47 -0500)

committer Brendan Forster <brendan@github.com>

Fri, 8 Mar 2019 12:47:43 +0000 (08:47 -0400)
author Michael Coblenz <mcoblenz@users.noreply.github.com>
Fri, 8 Mar 2019 12:47:43 +0000 (07:47 -0500)
committer Brendan Forster <brendan@github.com>
Fri, 8 Mar 2019 12:47:43 +0000 (08:47 -0400)
diff --git a/Agda.gitignore b/Agda.gitignore

index 171a38976c10152af35e1ad8cf931f3488b894ed..58ab67f0712c69d45bc7d819e4d5f7ffc6830aaf 100644 (file)
--- a/Agda.gitignore
+++ b/Agda.gitignore
@@ -1 +1,2 @@
  *.agdai
+MAlonzo/**
author	Michael Coblenz <mcoblenz@users.noreply.github.com>
	Fri, 8 Mar 2019 12:47:43 +0000 (07:47 -0500)
committer	Brendan Forster <brendan@github.com>
	Fri, 8 Mar 2019 12:47:43 +0000 (08:47 -0400)