add pipes - online edit of pubs.htm

This commit is contained in:
Expo on server 2023-10-28 16:50:39 +01:00
parent 9164ea7730
commit 3d6d2748e6

View File

@ -67,8 +67,8 @@ or the reference has not been looked up:</p>
<a href="#pubs2019">2019</a> <b>|</b>
<strike>2020</strike><b>|</b>
<strike>2021</strike><b>|</b>
<a href="#pubs2022">2022</a>
<a href="#pubs2023">2023</a>
<a href="#pubs2022">2022</a> <b>|</b>
<a href="#pubs2023">2023</a> <b>|</b>
</p>
<hr />