From 46742857b51b6052f5e90ad9a046a8c8f8101309 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 1 Feb 2017 12:36:56 +0100
Subject: Added deb/.vagrant to gitignore

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

diff --git a/.gitignore b/.gitignore
index 26be741eb..32ef66e8b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 *~
+deb/.vagrant
 dist/*
 MANUAL.*
 !MANUAL.txt
-- 
cgit v1.2.3