diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-11-10 00:08:44 -0200 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-11-10 00:08:44 -0200 |
| commit | 90fc347fb05ba4c884743f9dbbfbd506738e4798 (patch) | |
| tree | ddddb8fbdbfbf32c5af5bfe41824d5d88f697f60 /libre/grub2/05_archtheme | |
| parent | c088443e776244b71127d94565d735c9540b2382 (diff) | |
removing obsolete grub2
Diffstat (limited to 'libre/grub2/05_archtheme')
| -rwxr-xr-x | libre/grub2/05_archtheme | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/libre/grub2/05_archtheme b/libre/grub2/05_archtheme deleted file mode 100755 index 4d1b6fb20..000000000 --- a/libre/grub2/05_archtheme +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash -e - -cat << EOF -set menu_color_normal=light-blue/black -set menu_color_highlight=light-cyan/blue -EOF |