Malin Freeborn e539d10075 make script to mirror git repos		2023-06-15 18:55:45 +02:00
..
mirror_repos.sh	make script to mirror git repos	2023-06-15 18:55:45 +02:00