From 3b266ee7d0d414d2af7d291f249b0153af51aa2e Mon Sep 17 00:00:00 2001
From: Eiko Wagenknecht <git@eiko-wagenknecht.de>
Date: Tue, 20 Feb 2024 14:45:10 +0000
Subject: [PATCH] fix: add space and missing dot for listing pages (#907)
---
globals.d.ts | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/globals.d.ts b/globals.d.ts
index 0509f26..ee13005 100644
--- a/globals.d.ts
+++ b/globals.d.ts
@@ -8,5 +8,6 @@
}
interface Window {
spaNavigate(url: URL, isBack: boolean = false)
+ addCleanup(fn: (...args: any[]) => void)
}
}
--
Gitblit v1.10.0