From 28efb90430ab0cd375cd921dcbcb1ad2832a9dde Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 27 Apr 2016 20:58:10 +0200
Subject: [PATCH] Ignore .vio files.

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

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