diff options
| author | devhell <devhell@mailfresser.de> | 2017-10-17 11:49:49 +0100 |
|---|---|---|
| committer | devhell <devhell@mailfresser.de> | 2017-10-17 11:49:49 +0100 |
| commit | 42a9b7db20a3405b5b4a54baf566f27cb96d334b (patch) | |
| tree | 233ad43de5967b309f7d4792d394a46c7a868d20 /default.nix | |
| parent | c265c9070cf5a1662ac1b6997ca174170d75c688 (diff) | |
machines/{eris,titan}: Remove Rofi config
Since rofi 1.4.0 the old way of theming has been dropped in favor of a more complex and fine-grained theme engine. These theme files are rather large and so it makes sense to move to the theme configuration to rofi's XDG_USER_CONFIG_DIR.
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions