From db5524a9ab6b0050fa71e21a3a15740e85e4e4a8 Mon Sep 17 00:00:00 2001
From: Antoine GIRARD <sapk@users.noreply.github.com>
Date: Fri, 20 Dec 2019 00:04:12 +0100
Subject: chore: update gitignore list (#9437)

Updated the gitignore list with the command : `go run scripts/generate-gitignores.go`
---
 options/gitignore/Agda | 1 +
 1 file changed, 1 insertion(+)

(limited to 'options/gitignore/Agda')

diff --git a/options/gitignore/Agda b/options/gitignore/Agda
index 171a38976c..58ab67f071 100644
--- a/options/gitignore/Agda
+++ b/options/gitignore/Agda
@@ -1 +1,2 @@
 *.agdai
+MAlonzo/**
-- 
cgit v1.2.3