diff --git a/.gitignore b/.gitignore index bcc24b9f1fcd26113792589d865c9b46a632afef..e38a0bd599723aa5eafdad96980bc566d075591e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ *.vo +*.vio *.v.d *.glob *.cache