aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 20:36:55 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 20:36:55 +0100
commit170a0d93e37b1f761ca514f3c4541f501651d881 (patch)
tree012d9a72b1ead6725f03c5cb191c6c7935032795 /reproduce/src/make
parent71daf1fb0e5a9aeda4bcb2aca8b4e2c8ebc11775 (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')
0 files changed, 0 insertions, 0 deletions