diff options
| author | Damien George | 2014-07-24 14:32:20 +0100 |
|---|---|---|
| committer | Damien George | 2014-07-24 14:32:20 +0100 |
| commit | 05c255f039b5c0fbdcb0754748fd5d36135acfd9 (patch) | |
| tree | b98b7accfc48ad3e441e1ef466459f0a73d43acd | |
| parent | ffe911d228c3b7e35ef6ae775c802cdd05cffa47 (diff) | |
| parent | 1bbdd4ed2ac060106998fe2ba19551a0f51493cb (diff) | |
Merge pull request #771 from dhylands/gitignore-GNUmakefile
Add GNUmakefile to the .gitignore file.
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 4c0191f69..64f72aee5 100644 --- a/.gitignore +++ b/.gitignore @@ -32,3 +32,6 @@ tests/*.out # Python cache files ###################### __pycache__/ + +# Customized Makefile overrides +GNUmakefile |