Also checking in lars' migration.py script, which is a CLI tool to transfer db contents from the old db to the new one. git-svn-id: svn://10.0.0.236/trunk@208766 18797224-902f-48f8-a5cc-f745e15eee43
Also checking in lars' migration.py script, which is a CLI tool to transfer db contents from the old db to the new one. git-svn-id: svn://10.0.0.236/trunk@208766 18797224-902f-48f8-a5cc-f745e15eee43