changeset 922 | e86ea06e3b25 |
parent 917 | 89e05a230d2d |
child 968 | d8d8911a3d6f |
--- a/style.sty Tue Sep 19 12:56:10 2023 +0100 +++ b/style.sty Thu Sep 21 12:57:27 2023 +0100 @@ -87,7 +87,7 @@ improvement, I am very grateful to hear.\medskip If *you* want to share anything (code, videos, links), you are -encouraged to do so. Just drop me an email.} +encouraged to do so. Just drop me an email or send a message to the Forum.} % CW deadlines