druckdev 235d240a81 rofi: Migrate to new theme format ...

Since needed with/after rofi 1.7.0.

2021-09-08 14:44:06 +02:00

..

app-launcher.rasi

rofi: Migrate to new theme format

2021-09-08 14:44:06 +02:00