rename URL to Uri in deb822-sources
authorMichael Vogt <mvo@debian.org>
Thu, 16 Jan 2014 16:03:07 +0000 (17:03 +0100)
committerMichael Vogt <mvo@debian.org>
Thu, 16 Jan 2014 16:03:07 +0000 (17:03 +0100)
commita51fa92c521a6790446108a54ad1d9b6a16515ff
tree896238a9a6f4e6833704f736234cd17953b81407
parent796a0eff1acebe858632c344e77bfc3189b2244f
rename URL to Uri in deb822-sources
apt-pkg/sourcelist.cc
doc/sources.list.5.xml
test/integration/test-apt-sources-deb822