From 57fbf38fb284f13f723b761beb633afcf7d36fc3 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 7 Oct 2018 18:00:04 -0400
Subject: [PATCH] Internals: Don't detabify gtkwave files.

---
 nodist/git_untabify | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nodist/git_untabify b/nodist/git_untabify
index 4fc5927a9..489ed89c9 100755
--- a/nodist/git_untabify
+++ b/nodist/git_untabify
@@ -104,6 +104,7 @@ sub ignore {
     my $filename = shift;
     return 1 if ($filename =~ /(Makefile|\.mk)/);
     return 1 if ($filename =~ /\.(y|l|out|vcd)$/);
+    return 1 if ($filename =~ /gtkwave/);
     #
     return 0 if ($filename =~ /\.(sv|v|vh|svh|h|vc|cpp|pl)$/);
     return 0;