Git repository Konstantin Dmitriev 11/01/2008 BTW, we have set up a git repository for the project. It is currently in private mode, but if someone wants to get access, feel