This repository has been archived by the owner on Aug 3, 2022. It is now read-only.

improve navigation between different 'sites' (clicking the current site name is _NOT_ intuitive) #10

Closed

mihi-tr opened this issue Sep 6, 2012 · 1 comment

Contributor

mihi-tr commented Sep 6, 2012

No description provided.

Member

rufuspollock commented Sep 6, 2012

DUPLICATE of #9.

rufuspollock closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.