From 0dad86ee1492bfea46acbd4d992c8be95cc7dd06 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Sun, 8 Jan 2023 10:37:38 +0100
Subject: [PATCH] Delete .travis directory

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

diff --git a/.travis/redox-toolchain.sh b/.travis/redox-toolchain.sh
deleted file mode 100644
index 83bc8fc..0000000
--- a/.travis/redox-toolchain.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-
-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