diff --git a/.gitignore b/.gitignore index 4b4c6da2a008f06522285983f3c62cb45d0b0eb6..3060a4bcb97219063b0bf96ce7c6b64a70b1599e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +*.v~ *.vo *.v.d *.glob