log

age author commit description
Thu, 06 Apr 2023 09:59:12 +0200 Fox 144cb44cd75e TabEdit: Introduced dirty/unsaved marker '*'