Sorry, the wiki page rendering is now up to date. It was either my error or the effect of some caching. So the only remaining question is how to git push wiki changes without having to enter the password every time.
-- You received this message because you are subscribed to the Google Groups "Project Hosting on Google Code" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/google-code-hosting?hl=en.
