From f427940e0b7f48d36d57528c73c52135740b5ec1 Mon Sep 17 00:00:00 2001 From: eclipse-thingweb-bot <140179293+eclipse-thingweb-bot@users.noreply.github.com> Date: Wed, 9 Aug 2023 14:24:52 +0200 Subject: [PATCH] Updating file 'docs/playground.md' with otterdog. --- docs/playground.md | 56 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) create mode 100644 docs/playground.md diff --git a/docs/playground.md b/docs/playground.md new file mode 100644 index 0000000..45af8e0 --- /dev/null +++ b/docs/playground.md @@ -0,0 +1,56 @@ +--- +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: + +