Mark README.md as read-only

fwcd · fwcd · commit dfab9c5dfb85 · 2024-11-11T13:46:51.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,4 @@
 *~
-.vscode
 .DS_Store
 *.swp
 .curry
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,5 @@
+{
+  "files.readonlyInclude": {
+    "README.md": true
+  }
+}

-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +{
 +  "files.readonlyInclude": {
 +    "README.md": true
 +  }
 +}