Merge commit 'origin/master' into hruid.
[platal.git] / upgrade / hruid / connect.db.inc.php
2008-06-27 Vincent ZanottiMerge commit 'origin/master' into hruid.
2008-06-18 Vincent ZanottiMoves upgrade scripts to a dedicated directory (will...