From ee13d98f102afb307068df86a1092e4f0330745f Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Sat, 24 Sep 2022 19:19:51 +0200
Subject: [PATCH] remove an old travis CI script

---
 .travis/redox-toolchain.sh | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 .travis/redox-toolchain.sh

diff --git a/.travis/redox-toolchain.sh b/.travis/redox-toolchain.sh
deleted file mode 100755
index d8b43b489..000000000
--- a/.travis/redox-toolchain.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-rustup target add x86_64-unknown-redox
-sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F
-sudo add-apt-repository 'deb https://static.redox-os.org/toolchain/apt /'
-sudo apt-get update -qq
-sudo apt-get install -y x86-64-unknown-redox-gcc