Closed GoogleCodeExporter closed 9 years ago
I've made a first attempt at implementing improved navigation. It might need
some further polishing. As soon as everyone else signs off on this, we can
consider this issue closed.
Original comment by stucky.b...@gmail.com
on 16 Nov 2012 at 8:06
[deleted comment]
Original comment by stucky.b...@gmail.com
on 16 Nov 2012 at 8:08
During our last meeting, we agreed that the improved navigation is good enough
(for now, at least), so the issue can be closed.
Original comment by stucky.b...@gmail.com
on 20 Nov 2012 at 7:00
Original issue reported on code.google.com by
stucky.b...@gmail.com
on 9 Nov 2012 at 8:28