id	summary	reporter	owner	description	type	status	priority	milestone	component	severity	resolution	keywords	cc
2263	*.tex-Dateien mit TeXmaker verknüpfen	Rüdiger Kupper	Rüdiger Kupper	Im Birgit-Image waren *.tex-Dateien zum Öffnen mit TeXmaker verknüpft. Das wäre für Christof auch eine bessere Wahl als GEdit.	Verbesserung	closed	bei Gelegenheit	"Image ""Dynamische Doris"""	Software: Ubuntu	beeinträchtigt keinen Unterricht	im Image