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 /reproduce/src/make | |
| 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 'reproduce/src/make')
0 files changed, 0 insertions, 0 deletions