Rediffing desktop-number.patch with common diff options.
authorDaniel Baumann <daniel@debian.org>
Fri, 20 Apr 2012 12:45:50 +0000 (14:45 +0200)
committerDaniel Baumann <daniel@debian.org>
Fri, 20 Apr 2012 14:34:17 +0000 (16:34 +0200)
commit120719e46d894adf3fcd01d4350f17b40bcd09c5
tree52fa7caf50bd3d637ce5b4124abb06897e3b6cd2
parent47099e512d03e04eccf67cefc07d269ccdb29ca9
Rediffing desktop-number.patch with common diff options.
debian/patches/02-desktop-number.patch [new file with mode: 0644]
debian/patches/configure_desktop_number.patch [deleted file]
debian/patches/series