From dc11407be632d995676f95818468075a0a1fbde1 Mon Sep 17 00:00:00 2001 From: eclipse-zenoh-flow-bot <167985235+eclipse-zenoh-flow-bot@users.noreply.github.com> Date: Thu, 10 Oct 2024 16:40:12 +0200 Subject: [PATCH] Deleting file 'docs/jsonnet/playground.jsonnet' with otterdog. --- docs/jsonnet/playground.jsonnet | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 docs/jsonnet/playground.jsonnet diff --git a/docs/jsonnet/playground.jsonnet b/docs/jsonnet/playground.jsonnet deleted file mode 100644 index 10902f3..0000000 --- a/docs/jsonnet/playground.jsonnet +++ /dev/null @@ -1,3 +0,0 @@ -local orgs = import 'otterdog-defaults.libsonnet'; - -orgs.newRepo('myrepo')