From 5f7f8e65270a58df22d60a27c6071367b872d13a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Lucas?= <sebastien@slucas.fr>
Date: Mon, 4 Nov 2013 14:37:12 +0100
Subject: [PATCH] Clear a little the documentation for the full url prefix.
 Idea from Mariosipad.

---
 config_default.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config_default.php b/config_default.php
index c88612b..a89a8c8 100644
--- a/config_default.php
+++ b/config_default.php
@@ -27,8 +27,8 @@
 
     /*
      * Full URL prefix (with trailing /)
-     * usefull especially for Opensearch where a full URL is sometimes required
-     * For example Mantano requires it.
+     * usefull especially for Opensearch where a full URL is often required
+     * For example Mantano, Aldiko and Marvin require it.
      */
     $config['cops_full_url'] = '';