diff options
Diffstat (limited to '2023/05')
| -rw-r--r-- | 2023/05/04/OCaml-Effects简明教程/index.html | 8 | ||||
| -rw-r--r-- | 2023/05/06/OCaml_News_20230506/index.html | 8 |
2 files changed, 2 insertions, 14 deletions
diff --git a/2023/05/04/OCaml-Effects简明教程/index.html b/2023/05/04/OCaml-Effects简明教程/index.html index bce17e0c..0e17ea7c 100644 --- a/2023/05/04/OCaml-Effects简明教程/index.html +++ b/2023/05/04/OCaml-Effects简明教程/index.html @@ -98,13 +98,7 @@ <li class="menu-item"> - <a href="/tags/Medicine/">医学</a> - </li> - - - - <li class="menu-item"> - <a href="/tags/Life/">生活</a> + <a href="/Projects">项目</a> </li> diff --git a/2023/05/06/OCaml_News_20230506/index.html b/2023/05/06/OCaml_News_20230506/index.html index 802a930f..591af928 100644 --- a/2023/05/06/OCaml_News_20230506/index.html +++ b/2023/05/06/OCaml_News_20230506/index.html @@ -98,13 +98,7 @@ <li class="menu-item"> - <a href="/tags/Medicine/">医学</a> - </li> - - - - <li class="menu-item"> - <a href="/tags/Life/">生活</a> + <a href="/Projects">项目</a> </li> |