Merge pull request #5215 from Beep6581/hidpi-icons

Merging `hidpi-icons` branch into `dev`
This commit is contained in:
Jean-Christophe
2019-03-17 00:07:13 +01:00
committed by GitHub
975 changed files with 5069 additions and 2079 deletions

File diff suppressed because it is too large Load Diff

1030
rtdata/themes/size.css Normal file

File diff suppressed because it is too large Load Diff