Rediffing default-terminal.patch with common diff options.
authorDaniel Baumann <daniel@debian.org>
Wed, 18 Apr 2012 23:06:06 +0000 (01:06 +0200)
committerDaniel Baumann <daniel@debian.org>
Wed, 18 Apr 2012 23:06:06 +0000 (01:06 +0200)
commit21bd4d6fb5470a25185dd856906a38e9a99faa14
treeb4d63822194ba2dac5940981960f99036ca84762
parenta668d276328a40906a4b0b0973ca0c131e66b05d
Rediffing default-terminal.patch with common diff options.
debian/patches/04-default-terminal.patch [new file with mode: 0644]
debian/patches/05_default_terminal.patch [deleted file]