diff --git a/web/conf/laraserver.conf b/web/conf/laraserver.conf
deleted file mode 100644
index 274d4ca3fd585079febc99d39c4ca2a13e0e18ff..0000000000000000000000000000000000000000
--- a/web/conf/laraserver.conf
+++ /dev/null
@@ -1,52 +0,0 @@
-# This is the main configuration file for the application.
-# ~~~~~
-
-# Secret key
-# ~~~~~
-# The secret key is used to secure cryptographics functions.
-# If you deploy your application to several instances be sure to use the same key!
-application.secret="_JKq[m=o8OG;]F8xD:bGMs^/?KXXb2Huq^KLM=obhIQvsPIwPNJq@sgLWTRCLr4]"
-
-# The application languages
-# ~~~~~
-application.langs="en"
-
-# Global object class
-# ~~~~~
-# Define the Global object class for this application.
-# Default to Global in the root package.
-# global=Global
-
-# Database configuration
-# ~~~~~ 
-# You can declare as many datasources as you want.
-# By convention, the default datasource is named `default`
-#
-# db.default.driver=org.h2.Driver
-# db.default.url="jdbc:h2:mem:play"
-# db.default.user=sa
-# db.default.password=
-
-# Evolutions
-# ~~~~~
-# You can disable evolutions if needed
-# evolutionplugin=disabled
-
-# Logger
-# ~~~~~
-# You can also configure logback (http://logback.qos.ch/), by providing a logger.xml file in the conf directory .
-
-# Root logger:
-logger.root=ERROR
-
-# Logger used by the framework:
-logger.play=INFO
-
-# Logger provided to your application:
-logger.application=DEBUG
-
-# This specifies the prefix under which the web page lies, used almost exclusively for the laraserver setup
-app.prefix="/leon"
-
-# Specifies the classpath used by the Scala compiler within Leon
-app.classpath="/localhome/leonweb/.sbt/0.12.1/boot/scala-2.9.2/lib/:../library/target/scala-2.9.2/"