Skip to content

A few ui tweaks#515

Merged
timotheeguerin merged 4 commits intomasterfrom
feature/ui-tweaks
Jun 27, 2017
Merged

A few ui tweaks#515
timotheeguerin merged 4 commits intomasterfrom
feature/ui-tweaks

Conversation

@timotheeguerin
Copy link
Member

Include changes to :

  • Tags
  • Heatmap legend
  • Tabs

@timotheeguerin timotheeguerin merged commit e3da663 into master Jun 27, 2017
@timotheeguerin timotheeguerin deleted the feature/ui-tweaks branch June 27, 2017 19:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants