GitHub - SDL-mirror/tools: The shell scripts running these mirrors

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.gitignore		.gitignore
close-pulls.py		close-pulls.py
common.sh		common.sh
init.sh		init.sh
pull.sh		pull.sh
push.sh		push.sh
repos.txt		repos.txt
sync-bookmarks.sh		sync-bookmarks.sh
update.sh		update.sh