Day: November 1, 2008

Git repository

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