From 50c9e756e7390a28ecdcb36a4fce93964bd1400a Mon Sep 17 00:00:00 2001 From: eclipse-wattadvisor-bot <159279247+eclipse-wattadvisor-bot@users.noreply.github.com> Date: Thu, 10 Oct 2024 16:32:53 +0200 Subject: [PATCH] Deleting file 'docs/playground.md' with otterdog. --- docs/playground.md | 56 ---------------------------------------------- 1 file changed, 56 deletions(-) delete mode 100644 docs/playground.md diff --git a/docs/playground.md b/docs/playground.md deleted file mode 100644 index 3d3381e..0000000 --- a/docs/playground.md +++ /dev/null @@ -1,56 +0,0 @@ ---- -template: editor.html -hide: - - navigation - - toc ---- - -# Playground - -You can use the playground below to create and evaluate resource snippets to include in your jsonnet configuration: - -