Salt 0d39e3d91d DSK: Update		2019-01-21 01:14:06 -06:00
..
color-schemes	Plasma: Keep track of Gruvbox color scheme	2018-07-31 20:15:53 -05:00
dsk@6ddc8c4ee0	DSK: Update	2019-01-21 01:14:06 -06:00
konsole	DSK, Konsole: Update, add margin	2018-11-30 22:40:01 -06:00