From 8edf061f0338dddcb261fca59dd8b0fc9e1036d3 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub
Date: Mon, 13 Mar 2017 12:49:03 +0100
Subject: [gitignore]: ignore .vio files

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

diff --git a/.gitignore b/.gitignore
index b661a7a..fda722f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 *.d
 *.vo
+*.vio
 *.cm*
 *~
 *.glob
-- 
cgit v1.2.3