diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 20:18:32 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 20:18:32 +0100 |
| commit | ad164841a651ccd24f1c5b9b37a72a7f8068e42f (patch) | |
| tree | 9b234512b084d888fa506f6e852e734fae7f5bbc /.gitignore | |
| parent | d92cc415e7a290e6e2e1340665202cae79ad8c4a (diff) | |
Wildcard for mmap files made more generic
In some systems, the fact that `.gnuastro' and `reproduce/config/gnuastro'
are the same is not recognized by Git in `.gitignore' and so the `mmap'
files will be treated as un-commit files. So we now simply ignore all files
starting with `mmap_*' and removed the directory information before it.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,8 +4,8 @@ *.log *.pdf *.out +mmap_* *.auxlock -.gnuastro/mmap_* LOCAL_tmp.mk LOCAL_old.mk |