Internals: Don't detabify gtkwave files.

2018-10-07 18:00:04 -04:00 · 2018-10-07 18:00:04 -04:00 · 57fbf38fb2
parent 4cd01bc99a
commit 57fbf38fb2
1 changed files with 1 additions and 0 deletions
--- 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;