HomePhabricator
Diffusion MITK 0a803bc68ad2

renamed "darkStyle2017" to "darkstyle"

Description

renamed "darkStyle2017" to "darkstyle"

Details

Provenance
kirchnthAuthored on Jan 20 2017, 4:58 PM
kirchnthPushed on Jan 20 2017, 4:56 PM
Parents
rMITK14d903f8e4ee: added new font selection feature in themes preference page. todo: make the font…
Branches
Unknown
Tags
Unknown