From d0748cf9a40d273cda35220e6c733fc418eb88aa Mon Sep 17 00:00:00 2001
From: Sebastian Godelet <sebastian.godelet+github@gmail.com>
Date: Fri, 9 Jan 2015 13:06:58 +0800
Subject: [PATCH] Mercury.gitignore: Add Mercury.modules

The Mercury.modules file can be auto-generated by the Mercury compiler,
as such it appears only in Makefiles, and should therefore be ignored.
---
 Mercury.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Mercury.gitignore b/Mercury.gitignore
index d1f9192f..70ec8693 100644
--- a/Mercury.gitignore
+++ b/Mercury.gitignore
@@ -1,4 +1,5 @@
 Mercury/
+Mercury.modules
 *.mh
 *.err
 *.init