Michal Čihař da62d86238 These are done and we do not seem to use decimals

2011-12-14 10:00:01 +01:00

..

mysql.dbi.lib.php

These are done and we do not seem to use decimals

2011-12-14 10:00:01 +01:00

mysqli.dbi.lib.php

Whitespace cleanup

2011-02-15 17:38:08 +01:00