From 56e2376e69cacd8db69cda7d198105c6aec121d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?P=C3=A9ter=20Szil=C3=A1gyi?= Date: Wed, 14 Mar 2018 13:22:47 +0200 Subject: containers: drop vagrant support, noone's maintaining it --- containers/vagrant/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 containers/vagrant/.gitignore (limited to 'containers/vagrant/.gitignore') diff --git a/containers/vagrant/.gitignore b/containers/vagrant/.gitignore deleted file mode 100644 index 8000dd9db..000000000 --- a/containers/vagrant/.gitignore +++ /dev/null @@ -1 +0,0 @@ -.vagrant -- cgit v1.2.3