]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #3917 from michaelletzgus/html5-fix_dup-IDs
authorMorris Jobke <hey@morrisjobke.de>
Mon, 20 Mar 2017 07:51:20 +0000 (01:51 -0600)
committerGitHub <noreply@github.com>
Mon, 20 Mar 2017 07:51:20 +0000 (01:51 -0600)
Fix duplicate id "apps-management"

1  2 
core/css/header.scss

Simple merge