From 41de97b078e5b81976df99cc436c3bdf17562471 Mon Sep 17 00:00:00 2001 From: dwursteisen Date: Mon, 11 Dec 2023 12:22:06 +0000 Subject: [PATCH] deploy: 19765f078f2e9d7b771c8ed05f1f5f7d77db5ed1 --- dependencies/tiny-api.html | 4 ++-- index.html | 6 +++--- sandbox.html | 6 +++--- tiny-cli.html | 4 ++-- tiny-install.html | 4 ++-- tiny-showcase.html | 4 ++-- tiny-tutorial.html | 4 ++-- 7 files changed, 16 insertions(+), 16 deletions(-) diff --git a/dependencies/tiny-api.html b/dependencies/tiny-api.html index 6d60d214..0573e4ae 100644 --- a/dependencies/tiny-api.html +++ b/dependencies/tiny-api.html @@ -1916,8 +1916,8 @@

tiny.exit()

diff --git a/index.html b/index.html index 95af364b..516cf438 100644 --- a/index.html +++ b/index.html @@ -705,7 +705,7 @@