Merge branch 'master' of gitlab.com:gitlab-org/gitlab-design

d5a067d0 · Chris Peressini · 95f1ab6b · d6c5f83e · d5a067d0 · d5a067d0
Commit d5a067d0 authored 7 years ago by Chris Peressini
--- a/production/resources/gitlab-elements.sketch
+++ b/production/resources/gitlab-elements.sketch
--- a/progress/dimitrie/misc-application-wide/disabled_button_styling_ce26296.sketch
+++ b/progress/dimitrie/misc-application-wide/disabled_button_styling_ce26296.sketch
--- a/progress/dimitrie/repo-editor/ce#38357_Not_editable.sketch
+++ b/progress/dimitrie/repo-editor/ce#38357_Not_editable.sketch
--- a/progress/pedro/gitlab-elements/gitlab-design#51-navigation.sketch
+++ b/progress/pedro/gitlab-elements/gitlab-design#51-navigation.sketch