[tools]
name=tools
type=rpm-md
baseurl=https://download.tizen.org/tools/latest-release/Fedora_19
enabled=1
gpgcheck=0