2 Commits

Author	SHA1	Message	Date
Mike Gabriel	f273cfc185	debian/patches: Trivial rebase of 001_prefer-x-terminal-emulator.patch.	2023-04-25 16:33:30 +02:00
Mike Gabriel	0578b7d7a9	debian/patches: Add 2001_prefer-x-terminal-emulator.patch. Prefer x-terminal-emulator over not-so-well-known terminal emulators. (Closes: #809742).	2018-07-05 17:41:39 +02:00