From 9b8ae113c3008d9849c9c711a595e3b8037439f1 Mon Sep 17 00:00:00 2001
From: André Fabian Silva Delgado <emulatorman@lavabit.com>
Date: Mon, 11 Feb 2013 13:33:37 -0200
Subject: grub-2.00-1.2: updating revision"

* Remove obsolete files
* Fixing OS parameter on 10_linux.in for others distros
---
 libre/grub/05_archtheme | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 libre/grub/05_archtheme

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

diff --git a/libre/grub/05_archtheme b/libre/grub/05_archtheme
deleted file mode 100644
index 4d1b6fb20..000000000
--- a/libre/grub/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