fix indenting
commit7f0d5ea26a3099bf9a2bff0f97bbf16b1cbaf2c8
authorDieter Adriaenssens <Dieter.Adriaenssens@UGent.be>
Mon, 17 Jun 2013 13:09:11 +0000 (17 15:09 +0200)
committerDieter Adriaenssens <Dieter.Adriaenssens@UGent.be>
Mon, 17 Jun 2013 13:09:11 +0000 (17 15:09 +0200)
tree9355e4bab2b60225bf80a15db1fcc6439f33e510
parent5cefd359d6db81b6fb4d1bf9bef76325d2822e56
fix indenting
libraries/server_collations.lib.php