From 170a0d93e37b1f761ca514f3c4541f501651d881 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Date: Thu, 15 Feb 2018 20:36:55 +0100
Subject: 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'.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index a6018b7..c5bfd19 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 *.log
 *.pdf
 *.out
+.nfs*
 mmap_*
 *.auxlock
 
-- 
cgit v1.2.1