diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-20 10:30:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-20 10:30:13 +0200 |
commit | 862c877f43cc5e29c5b48f70d74f90f8b93214bb (patch) | |
tree | 31482a7d26c668fffa0b747fa4fbf00f3b28a4c6 /misc/scripts | |
parent | 9e34ba48556b71f1f672b5be47d12b0e3f679b86 (diff) | |
parent | d560f654ffd855eb3ad66ad56e1327ffdedea938 (diff) |
Merge pull request #40510 from RevoluPowered/fix-github-linux-builds
fix github actions source repository down for linux [urgent]
Diffstat (limited to 'misc/scripts')
-rw-r--r-- | misc/scripts/sources.list | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/misc/scripts/sources.list b/misc/scripts/sources.list new file mode 100644 index 0000000000..4d8f94f35c --- /dev/null +++ b/misc/scripts/sources.list @@ -0,0 +1,4 @@ +deb http://archive.ubuntu.com/ubuntu/ focal main restricted universe multiverse +deb http://archive.ubuntu.com/ubuntu/ focal-updates main restricted universe multiverse +deb http://archive.ubuntu.com/ubuntu/ focal-security main restricted universe multiverse +deb http://archive.ubuntu.com/ubuntu/ focal-backports main restricted universe multiverse |