diff options
author | Ian Lynagh <ian@well-typed.com> | 2013-06-09 20:49:52 +0100 |
---|---|---|
committer | Ian Lynagh <ian@well-typed.com> | 2013-06-09 20:49:52 +0100 |
commit | 31b2706c1998b0deff6f50861125bf6cdfdec8e2 (patch) | |
tree | 49cf9e15e5b532c2ce870bb369d37616b1e44d64 /.gitignore | |
parent | 4c49772492f9703403d60dbb7a95bb29b5125fda (diff) | |
download | haskell-31b2706c1998b0deff6f50861125bf6cdfdec8e2.tar.gz |
Don't create mk/stamp-h
I don't think we are using it for anything any more.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 829f19a742..db9598932e 100644 --- a/.gitignore +++ b/.gitignore @@ -159,7 +159,6 @@ _darcs/ /mk/install.mk /mk/project.mk /mk/project.mk.old -/mk/stamp-h /mk/validate.mk /rts/package.conf.inplace /rts/package.conf.inplace.raw |