Closed attwad closed 4 years ago
I'll let your daily script populate the new sources.txt file, I've just removed the old one in this PR.
Sounds good thanks @attwad & @Mougk
I'll let your daily script populate the new sources.txt file, I've just removed the old one in this PR.