diff options
Diffstat (limited to '2023/05/06')
| -rw-r--r-- | 2023/05/06/OCaml_News_20230506/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/2023/05/06/OCaml_News_20230506/index.html b/2023/05/06/OCaml_News_20230506/index.html index 591af928..dbdd7da7 100644 --- a/2023/05/06/OCaml_News_20230506/index.html +++ b/2023/05/06/OCaml_News_20230506/index.html @@ -208,6 +208,11 @@ <nav class="post-nav"> <div class="prev-item"> + <div class="icon arrow-left"></div> + <div class="post-link"> + <a href="/2023/05/09/OCaml_News_20230509/">Prev</a> + </div> + </div> <div class="next-item"> |