aboutsummaryrefslogtreecommitdiff
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
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'.
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a6018b7..c5bfd19 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
*.log
*.pdf
*.out
+.nfs*
mmap_*
*.auxlock