From 1c9a0d8f44ed8390e3c601d23dd09e391b3b3fad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Prunayre?= <fxprunayre@gmail.com>
Date: Wed, 16 Apr 2014 16:36:12 +0200
Subject: [PATCH] Remove useless file pushed by mistake.

---
 web/jetty-context.xml | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 web/jetty-context.xml

diff --git a/web/jetty-context.xml b/web/jetty-context.xml
deleted file mode 100644
index d3332cf1c6..0000000000
--- a/web/jetty-context.xml
+++ /dev/null
@@ -1,13 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "http://www.eclipse.org/jetty/configure_9_0.dtd">
-<!--
-    This file is used by pom.xml to configure jetty.  It disables the jar scan performed by jetty so that startup
-    is faster
--->
-
-<Configure class="org.eclipse.jetty.webapp.WebAppContext">
-    <Call name="setAttribute">
-        <Arg>org.eclipse.jetty.server.webapp.WebInfIncludeJarPattern</Arg>
-        <Arg>nomatches</Arg>
-    </Call>
-</Configure>
\ No newline at end of file