update playground gitignore

sabine · sabine · commit 04abb183bcfa · 2025-06-17T10:02:14.000+02:00
diff --git a/playground/.gitignore b/playground/.gitignore
@@ -3,12 +3,3 @@ _build/
 dune.lock
 
 stdlib_path.txt
-
-# VSCode user configuration
-.vscode/
-
-# Files that people sometimes accidentally include in their PRs
-*:OECustomProperty
-
-# TailwindCSS opam file, which appears to be generated by the build
-tailwindcss.opam
