Delete settings.json

This commit is contained in:
login 2022-08-17 22:14:40 +08:00 committed by GitHub
parent a1d3af9201
commit 737759d753
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,3 +0,0 @@
{
"restructuredtext.preview.name": "docutils"
}