From 1d1c47d6b40163775216146d68bf6005c4ee4aab Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 30 Oct 2015 20:06:04 +0100
Subject: [PATCH] update gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

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