diff options
author | Vito Caputo <vcaputo@gnugeneration.com> | 2016-09-09 14:20:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-09 14:20:28 -0700 |
commit | a1aba8e0fe5c94ebf04258b609666c92b756954f (patch) | |
tree | fe9792b77766e31728b1d2d04d2461858ef45443 /colors.def | |
parent | e99f5ac1293a0ae1f498bc4c73c4c04e4edb8665 (diff) | |
parent | 8ef5fccc1ad2f5acb5530a438de631153e4ad945 (diff) |
Merge pull request #6 from vcaputo/clean_house
House cleaning
Diffstat (limited to 'colors.def')
-rw-r--r-- | colors.def | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/colors.def b/colors.def deleted file mode 100644 index 97c0dc9..0000000 --- a/colors.def +++ /dev/null @@ -1,6 +0,0 @@ -color(focused_window_border, "Green") -color(shelved_window_border, "purple") -color(unfocused_window_border, "DarkGray") -color(shelved_console_border, "red") -color(rubberband, "Orange") -color(logo, "LimeGreen") |