--- a/devtools/__init__.py	Thu Jun 27 15:13:47 2013 +0200
+++ b/devtools/__init__.py	Thu Jun 27 18:15:57 2013 +0200
@@ -267,7 +267,6 @@
     skip_db_create_and_restore = True
     read_instance_schema = True # read schema from database
 
-
 # test database handling #######################################################
 
 DEFAULT_EMPTY_DB_ID = '__default_empty_db__'