diff options
Diffstat (limited to '2023/05/15')
| -rw-r--r-- | 2023/05/15/OCaml_News_20230515/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/2023/05/15/OCaml_News_20230515/index.html b/2023/05/15/OCaml_News_20230515/index.html index e5284b8e..2ff614e4 100644 --- a/2023/05/15/OCaml_News_20230515/index.html +++ b/2023/05/15/OCaml_News_20230515/index.html @@ -207,6 +207,11 @@ <nav class="post-nav"> <div class="prev-item"> + <div class="icon arrow-left"></div> + <div class="post-link"> + <a href="/2023/05/16/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%94%E6%9C%88%E5%8D%81%E5%85%AD%E6%97%A5/">Prev</a> + </div> + </div> <div class="next-item"> |
