Michael Stapelberg 1bc41edb6d update debian packaging		2012-09-19 18:44:13 +02:00
..
manpage-x-terminal-emulator.patch	update debian packaging	2012-09-19 18:44:13 +02:00
series	update debian/patches	2011-11-11 22:40:38 +00:00
use-x-terminal-emulator.patch	update debian packaging	2012-09-19 18:44:13 +02:00