Christopher Arndt
|
fa0dd17d59
|
Fix filename extension of common include file for gruvbox-* themes
Signed-off-by: Christopher Arndt <chris@chrisarndt.de>
|
2019-06-14 10:51:25 +02:00 |
|
Rasmus Steinke
|
68f68a050c
|
rename gruvbox-common.rasi to gruvbox-common.inc, to hide it from rofi-theme-selector
|
2018-03-24 16:51:08 +01:00 |
|
Brian Hardisty
|
607079bcf4
|
Add import for gruvbox-common.rasi
|
2018-02-12 06:25:03 -08:00 |
|
Brian Hardisty
|
ee0f12cfbe
|
Add updated gruvbox themes
|
2018-02-12 04:15:11 -08:00 |
|
Rasmus Steinke
|
7aabd818fa
|
restructure
|
2017-10-20 14:54:22 +02:00 |
|