Evertvdw 1f10905a8e fix: formatOnSave not disabled in workspace (#227)		2021-11-03 08:17:34 +08:00
..
extensions.json	chore: update workspace setting	2021-03-08 14:40:44 +08:00
settings.json	fix: formatOnSave not disabled in workspace (#227)	2021-11-03 08:17:34 +08:00