Adam Strzelecki 3eae4ecde7 UI: Make repository menu divide header and content ...

This is more inline with way GitHub looks like and feels much more natural and
in style with rest of the interface.

2015-12-02 22:40:22 +01:00

1014 B

Raw Blame History

View Raw