diff options
Diffstat (limited to '2023/08/15')
| -rw-r--r-- | 2023/08/15/poll-error-attribute-in-OCaml/index.html | 2 | ||||
| -rw-r--r-- | 2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/2023/08/15/poll-error-attribute-in-OCaml/index.html b/2023/08/15/poll-error-attribute-in-OCaml/index.html index e69b70f9..70fe3105 100644 --- a/2023/08/15/poll-error-attribute-in-OCaml/index.html +++ b/2023/08/15/poll-error-attribute-in-OCaml/index.html @@ -39,7 +39,7 @@ - <link rel="preload" href="/fonts/TensentypeCode.woff2" as="font" type="font/woff2" crossorigin> + <link rel="preload" href="/fonts/FZYouSongS-509R.woff2" as="font" type="font/woff2" crossorigin> diff --git a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html b/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html index 5e59f0ff..1512fe61 100644 --- a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html +++ b/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html @@ -39,7 +39,7 @@ - <link rel="preload" href="/fonts/TensentypeCode.woff2" as="font" type="font/woff2" crossorigin> + <link rel="preload" href="/fonts/FZYouSongS-509R.woff2" as="font" type="font/woff2" crossorigin> |
