diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 20:36:55 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 20:36:55 +0100 |
| commit | 170a0d93e37b1f761ca514f3c4541f501651d881 (patch) | |
| tree | 012d9a72b1ead6725f03c5cb191c6c7935032795 /reproduce/src/make/paper.mk | |
| parent | 71daf1fb0e5a9aeda4bcb2aca8b4e2c8ebc11775 (diff) | |
Ignoring .nfs* files from Git
On some servers, `.nfs*' files are also created during the processing, so
to keep the Git repo clean (avoid an un-necessary `-dirty' prefix), we are
adding these files to the `.gitignore'.
Diffstat (limited to 'reproduce/src/make/paper.mk')
0 files changed, 0 insertions, 0 deletions