diff options
Diffstat (limited to '2023/05/31')
| -rw-r--r-- | 2023/05/31/OCaml_News_20230531/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/2023/05/31/OCaml_News_20230531/index.html b/2023/05/31/OCaml_News_20230531/index.html index 792496fe..4431203d 100644 --- a/2023/05/31/OCaml_News_20230531/index.html +++ b/2023/05/31/OCaml_News_20230531/index.html @@ -223,6 +223,11 @@ <nav class="post-nav"> <div class="prev-item"> + <div class="icon arrow-left"></div> + <div class="post-link"> + <a href="/2023/06/11/OCaml_News_20230611/">Prev</a> + </div> + </div> <div class="next-item"> |