Dennis Camera 8b0734f719 [__sensible_editor] Improve error message when a basename of an editor not in the alternatives is provided		2019-10-13 10:14:27 +02:00
..
editor_path	[__sensible_editor] Improve error message when a basename of an editor not in the alternatives is provided	2019-10-13 10:14:27 +02:00
group	Rename __select_editor to __sensible_editor	2019-10-04 14:45:14 +02:00
user_home	[__sensible_editor] Remove mixed error reporting from manifest	2019-10-06 12:07:54 +02:00