server/serverconfig.py
changeset 5933 3d707b8f8a4d
parent 5456 d040889fac4e
child 6012 d56fd78006cd
child 6126 aca6a2c357fd
--- a/server/serverconfig.py	Thu Jul 08 08:54:45 2010 +0200
+++ b/server/serverconfig.py	Thu Jul 08 10:03:03 2010 +0200
@@ -15,9 +15,8 @@
 #
 # You should have received a copy of the GNU Lesser General Public License along
 # with CubicWeb.  If not, see <http://www.gnu.org/licenses/>.
-"""server.serverconfig definition
+"""server.serverconfig definition"""
 
-"""
 __docformat__ = "restructuredtext en"
 
 from os.path import join, exists