diff options
author | Jonas Smedegaard <dr@jones.dk> | 2002-07-14 09:06:11 +0000 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2002-07-14 09:06:11 +0000 |
commit | 26eb9c9f79b71a842aa7ecd1fa2cf61f3b31bc99 (patch) | |
tree | c209211bd45e957db4d0748afa0904029f92cac2 | |
parent | 75741fbd2ad638f053e3652dbae60e9dec5a6023 (diff) |
imp3: Correct type.
-rw-r--r-- | imp3/servers.php | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/imp3/servers.php b/imp3/servers.php index 6f6973b..030bffb 100644 --- a/imp3/servers.php +++ b/imp3/servers.php @@ -15,8 +15,8 @@ $servers['jones'] = array( 'preferred' => array( "jones.horde.jones.dk", "jones.horde.homebase.dk", - "jones.horde.biks.dk" - "jones.horde.louiz.dk" + "jones.horde.biks.dk", + "jones.horde.louiz.dk", ) ); $servers['homebase'] = array( @@ -32,8 +32,8 @@ $servers['homebase'] = array( 'preferred' => array( "homebase.horde.jones.dk", "homebase.horde.homebase.dk", - "homebase.horde.biks.dk" - "homebase.horde.louiz.dk" + "homebase.horde.biks.dk", + "homebase.horde.louiz.dk", ) ); $servers['lab'] = array( @@ -49,8 +49,8 @@ $servers['lab'] = array( 'preferred' => array( "lab.horde.jones.dk", "lab.horde.homebase.dk", - "lab.horde.biks.dk" - "lab.horde.louiz.dk" + "lab.horde.biks.dk", + "lab.horde.louiz.dk", ) ); $servers['louiz'] = array( @@ -66,8 +66,8 @@ $servers['louiz'] = array( 'preferred' => array( "louiz.horde.jones.dk", "louiz.homebase.dk", - "louiz.horde.biks.dk" - "louiz.horde.louiz.dk" + "louiz.horde.biks.dk", + "louiz.horde.louiz.dk", ) ); ?> |