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 /.gitignore | |
| 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 '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,6 +4,7 @@ *.log *.pdf *.out +.nfs* mmap_* *.auxlock |