Remove useless file pushed by mistake.

georchestra · Apr 16, 2014 · 1c9a0d8 · 1c9a0d8
1 parent d95d116
commit 1c9a0d8
Showing 1 changed file with 0 additions and 13 deletions.
diff --git a/web/jetty-context.xml b/web/jetty-context.xml