openrtm-repo-scripts

openrtm.org database repository operation scripts

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
repo_dirs_tool		repo_dirs_tool
README.md		README.md
debian_all.sh		debian_all.sh
fedora_all.sh		fedora_all.sh
raspbian_all.sh		raspbian_all.sh
ubuntu_all.sh		ubuntu_all.sh
update_debian_repodb.sh		update_debian_repodb.sh
update_fedora_repodb.sh		update_fedora_repodb.sh
update_raspbian_repodb.sh		update_raspbian_repodb.sh
update_ubuntu_repodb.sh		update_ubuntu_repodb.sh

Provide feedback