Juerd Waalboer 042db97ea8 editor: only ask to save if anything's changed; print status		2022-08-30 20:57:41 +02:00
..
RevBank	editor: only ask to save if anything's changed; print status	2022-08-30 20:57:41 +02:00