]> source.dussan.org Git - gitignore.git/commitdiff
projects / gitignore.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6f8aee0)
Mercury.gitignore: Add Mercury.modules 1352/head
authorSebastian Godelet <sebastian.godelet+github@gmail.com>
Fri, 9 Jan 2015 05:06:58 +0000 (13:06 +0800)
committerSebastian Godelet <sebastian.godelet+github@gmail.com>
Fri, 9 Jan 2015 05:06:58 +0000 (13:06 +0800)
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 patch | blob | history

diff --git a/Mercury.gitignore b/Mercury.gitignore
index d1f9192f6f5566833ae879275ccf60398dae5c5d..70ec86939718241f046522a8cc0143d5deeecaea 100644 (file)
--- a/Mercury.gitignore
+++ b/Mercury.gitignore
@@ -1,4 +1,5 @@
 Mercury/
+Mercury.modules
 *.mh
 *.err
 *.init
A collection of useful .gitignore templates: https://github.com/github/gitignore