Christoph c703272f3b Add script 'update_git_repositories.sh'.

2017-07-03 02:16:54 +02:00

..

update_git_repositories.conf.sample

Add script 'update_git_repositories.sh'.

2017-07-03 02:16:54 +02:00