Update themes.bin

This commit is contained in:
sharkdp 2020-08-03 11:23:11 +02:00 committed by David Peter
parent 2ffbe08eb1
commit 3a85fd767b

Binary file not shown.