diff Jenkinsfile @ 7097:faaefd08f790

add icons and config to satisfy http://realfavicongenerator.net/ Without this, on some paltforms, the favicon is not used correctly.
author domruf <dominikruf@gmail.com>
date Sun, 26 Mar 2017 16:54:40 +0200
parents 58713c2ebfff
children d9e37f7fd35b
line wrap: on
line diff