From fc8584b6f801263fce194f996dede3803877ea26 Mon Sep 17 00:00:00 2001
From: Eric Lippmann <eric.lippmann@netways.de>
Date: Mon, 3 Jun 2013 17:30:46 +0200
Subject: [PATCH] Vagrant: Fix failing mount "./pub", "./pub" missing on host

refs #4231
---
 pub/index.php | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 pub/index.php

diff --git a/pub/index.php b/pub/index.php
new file mode 100644
index 000000000..80570cf21
--- /dev/null
+++ b/pub/index.php
@@ -0,0 +1 @@
+Icinga 2 Web