Files

scripts

Akos Kitta

and

Avoid deleting the workspace when it's still in use.

Sep 15, 2022

fdf6f0f · Sep 15, 2022

Name		Name	Last commit message	Last commit date
parent directory ..
i18n		i18n	Fix typos in log messages	Aug 21, 2022
themes		themes	Dark theme implementation (#991 )	Jun 7, 2022
update-version.js		update-version.js	Avoid deleting the workspace when it's still in use.	Sep 15, 2022