added fonts

This commit is contained in:
2025-07-02 11:28:41 +02:00
parent 4134e3a234
commit 142d2986b6
9079 changed files with 1498421 additions and 2 deletions
+9
View File
@@ -0,0 +1,9 @@
/**
* Wait for a given number of milliseconds and then resolve.
*
* @param ms the number of milliseconds to wait
*/ export async function wait(ms) {
return new Promise((resolve)=>setTimeout(resolve, ms));
}
//# sourceMappingURL=wait.js.map