From 165c8a943bff82c973a49a2469b6e0d956e1ab7f Mon Sep 17 00:00:00 2001 From: Istvan Csomortani Date: Tue, 14 Aug 2018 16:18:47 +0100 Subject: [PATCH] gitignore: Update to the new naming convention --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 099fb07d7..ea88da497 100644 --- a/.gitignore +++ b/.gitignore @@ -78,5 +78,5 @@ reconfig_mif *.xml *.hw gui -.timestamp_altera +.timestamp_intel