Update Agda.gitignore to exclude MAlonzo directories in any location#4818

vicgeentor wants to merge 1 commit intogithub:maingithub/gitignore:mainfrom

vicgeentor:patch-1vicgeentor/gitignore:patch-1Copy head branch name to clipboard