From d5bc7d01a27253d39c5ddb1e1f16516ebd0ff8fb Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 11 Dec 2012 11:17:00 +0100
Subject: [PATCH] Remove link to list of files, included now
---
web/app/views/index.scala.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/web/app/views/index.scala.html b/web/app/views/index.scala.html
index 92ed47a9d..cc8688d98 100644
--- a/web/app/views/index.scala.html
+++ b/web/app/views/index.scala.html
@@ -6,7 +6,7 @@
<div id="contact">
<p>
- <i>Leon</i> is developed by the <a alt="LARA Group EPFL" href="http://lara.epfl.ch">LARA</a> group at <a href="http://www.epfl.ch">EPFL</a>. A good starting point is to copy-paste the source from an example in <a alt="Leon Examples" href="http://lara.epfl.ch/~psuter/leonexamples/">this list</a> and to click the <i>Verify !</i> button.
+ <i>Leon</i> is developed by the <a alt="LARA Group EPFL" href="http://lara.epfl.ch">LARA</a> group at <a href="http://www.epfl.ch">EPFL</a>.
</p>
</div>
<div id="leonmain" class="contentbox">
--
GitLab