From 59935407c3a755cf6ff770a575bac51edbebf502 Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Mon, 14 Oct 2019 18:35:17 +0300
Subject: [PATCH] grub: remove file now handled by package manager

---
 core/grub/build | 1 -
 1 file changed, 1 deletion(-)

diff --git a/core/grub/build b/core/grub/build
index 3cf00cc5..d0cee821 100755
--- a/core/grub/build
+++ b/core/grub/build
@@ -35,5 +35,4 @@ install -Dm0644 grub.default "$1/etc/default/grub"
     rm -f grub/*/kernel.exec
     rm -f grub/*/gdb_grub
     rm -f grub/*/gmodule.pl
-    rm -f charset.alias
 )