From 6e5e7408ee16edcb8c5738168bac80e6d75b67b5 Mon Sep 17 00:00:00 2001
From: Sheppy <yannik.schmidt@fau.de>
Date: Tue, 3 Jan 2017 22:17:07 +0100
Subject: [PATCH] renaming

---
 other/{grub => grub.conf} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename other/{grub => grub.conf} (100%)

diff --git a/other/grub b/other/grub.conf
similarity index 100%
rename from other/grub
rename to other/grub.conf