From 90fc347fb05ba4c884743f9dbbfbd506738e4798 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Fabian=20Silva=20Delgado?=
 <emulatorman@lavabit.com>
Date: Sat, 10 Nov 2012 00:08:44 -0200
Subject: removing obsolete grub2

---
 libre/grub2/05_archtheme | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 libre/grub2/05_archtheme

(limited to 'libre/grub2/05_archtheme')

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
-- 
cgit v1.2.3-2-g168b