diff options
| author | muqiuhan <[email protected]> | 2026-03-15 13:51:35 +0000 |
|---|---|---|
| committer | muqiuhan <[email protected]> | 2026-03-15 13:51:35 +0000 |
| commit | 9eb13df1a8ebac9774bfa9820b65c9d3b2c8fc47 (patch) | |
| tree | 168a6a81f0fde458a4e2dd66261a7f2853489446 /2023/08 | |
| parent | 828b9cae99ea35b16a6e22f8b4ea8cab617c51d8 (diff) | |
| download | blog-9eb13df1a8ebac9774bfa9820b65c9d3b2c8fc47.tar.gz | |
deploy: 8c1b736d362a88786b72d75d45b6e512a4fc97da
Diffstat (limited to '2023/08')
| -rw-r--r-- | 2023/08/01/二〇二三年八月一日/index.html | 13 | ||||
| -rw-r--r-- | 2023/08/15/poll-error-attribute-in-OCaml/index.html | 13 | ||||
| -rw-r--r-- | 2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html | 13 | ||||
| -rw-r--r-- | 2023/08/21/二零二三年八月二十一日/index.html | 13 | ||||
| -rw-r--r-- | 2023/08/27/二零二三年八月二十七日/index.html | 13 |
5 files changed, 45 insertions, 20 deletions
diff --git a/2023/08/01/二〇二三年八月一日/index.html b/2023/08/01/二〇二三年八月一日/index.html index 0ae32b3e..5c7d28b1 100644 --- a/2023/08/01/二〇二三年八月一日/index.html +++ b/2023/08/01/二〇二三年八月一日/index.html @@ -30,13 +30,17 @@ <link rel="icon" href="/favicon.ico"> - - - <!-- stylesheets list from _config.yml --> - <link rel="stylesheet" href="/css/style.css"> + <!-- stylesheets list from _config.yml --> + <link rel="stylesheet" href="/css/style.css"> + + + + + <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin> + <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin> @@ -275,6 +279,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> 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 73b88ab7..df5807c6 100644 --- a/2023/08/15/poll-error-attribute-in-OCaml/index.html +++ b/2023/08/15/poll-error-attribute-in-OCaml/index.html @@ -30,13 +30,17 @@ <link rel="icon" href="/favicon.ico"> - - - <!-- stylesheets list from _config.yml --> - <link rel="stylesheet" href="/css/style.css"> + <!-- stylesheets list from _config.yml --> + <link rel="stylesheet" href="/css/style.css"> + + + + + <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin> + <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin> @@ -283,6 +287,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> diff --git a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html b/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html index 44531387..b05604c7 100644 --- a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html +++ b/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html @@ -30,13 +30,17 @@ <link rel="icon" href="/favicon.ico"> - - - <!-- stylesheets list from _config.yml --> - <link rel="stylesheet" href="/css/style.css"> + <!-- stylesheets list from _config.yml --> + <link rel="stylesheet" href="/css/style.css"> + + + + + <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin> + <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin> @@ -280,6 +284,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> diff --git a/2023/08/21/二零二三年八月二十一日/index.html b/2023/08/21/二零二三年八月二十一日/index.html index 3ad49987..8ae93a8b 100644 --- a/2023/08/21/二零二三年八月二十一日/index.html +++ b/2023/08/21/二零二三年八月二十一日/index.html @@ -30,13 +30,17 @@ <link rel="icon" href="/favicon.ico"> - - - <!-- stylesheets list from _config.yml --> - <link rel="stylesheet" href="/css/style.css"> + <!-- stylesheets list from _config.yml --> + <link rel="stylesheet" href="/css/style.css"> + + + + + <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin> + <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin> @@ -279,6 +283,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> diff --git a/2023/08/27/二零二三年八月二十七日/index.html b/2023/08/27/二零二三年八月二十七日/index.html index 59a36d12..bd41e197 100644 --- a/2023/08/27/二零二三年八月二十七日/index.html +++ b/2023/08/27/二零二三年八月二十七日/index.html @@ -30,13 +30,17 @@ <link rel="icon" href="/favicon.ico"> - - - <!-- stylesheets list from _config.yml --> - <link rel="stylesheet" href="/css/style.css"> + <!-- stylesheets list from _config.yml --> + <link rel="stylesheet" href="/css/style.css"> + + + + + <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin> + <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin> @@ -274,6 +278,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> |