diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-03-05T15·23+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-03-06T10·15+0000 |
| commit | 382ef0be5505a049e575ba8a6ee5e6f2e055122c (patch) | |
| tree | 4550af7e041dac80302b0d79bfe5fc0b8e162b37 /configs/shared/.local/share/fonts | |
| parent | fd0595805fdcd9ac0e1165d5c7d1899e1c23c091 (diff) | |
Drop support for rofi
Rofi is a nicer alternative to dmenu, but I use neither dmenu nor rofi, so farewell.
Diffstat (limited to 'configs/shared/.local/share/fonts')
0 files changed, 0 insertions, 0 deletions