3 commits

Author	SHA1	Message	Date
GitLab Bot	3c9c771dcf	Add latest changes from gitlab-org/gitlab@master	2020-08-07 00:09:52 +00:00
Mike Greiling	5b9495c5db	Prettify all the things	2018-11-20 09:30:01 -06:00
Paul Slaughter	db739548fe	Web IDE context header redesign	2018-08-07 13:19:13 +00:00