From 23b497d1915a82f55848e0c539fc05c932a2f767 Mon Sep 17 00:00:00 2001 From: Nicolas Sebrecht Date: Tue, 31 Jan 2017 01:01:53 +0100 Subject: [PATCH] scripts/get-repository.sh.rej: remove unused file Was accidentally added in 7c7d693bd5b7. Signed-off-by: Nicolas Sebrecht --- scripts/get-repository.sh.rej | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 scripts/get-repository.sh.rej diff --git a/scripts/get-repository.sh.rej b/scripts/get-repository.sh.rej deleted file mode 100644 index e3cdb80..0000000 --- a/scripts/get-repository.sh.rej +++ /dev/null @@ -1,10 +0,0 @@ -diff a/scripts/get-repository.sh b/scripts/get-repository.sh (rejected hunks) -@@ -1,6 +1,6 @@ --#!/bin/bash -+#!/bin/sh - # --# Licence: this file is in the public deomain. -+# Licence: this file is in the public domain. - # - # Download and configure the repositories of the website or wiki. -