Merge remote-tracking branch 'mvo/debian/sid' into debian/sid
authorMichael Vogt <mvo@ubuntu.com>
Tue, 1 Apr 2014 10:21:10 +0000 (12:21 +0200)
committerMichael Vogt <mvo@ubuntu.com>
Tue, 1 Apr 2014 10:21:10 +0000 (12:21 +0200)
commita78578a9bfabf9c1b5a84e8f26fa5f193a56cb76
tree3221acebaec1a3bc69c4ca82a61863c9a23bc8af
parent26b3ade25dc90ab9288fcdd19af747eb62743013
parent62f1ee1cc7a5e16ca0cbfbee3c00cefab1892f87
Merge remote-tracking branch 'mvo/debian/sid' into debian/sid
doc/examples/configure-index