Zulip Chat Archive
Stream: new members
Topic: lstlean.tex: I've added more unicode characters
Mark Aagaard (Mar 07 2025 at 00:37):
I have added some more unicode characters to my local copy of lstlean.tex. Who should I send this info to for consideration of including it in the repository?
Kevin Buzzard (Mar 07 2025 at 07:19):
You could make a PR
Last updated: May 02 2025 at 03:31 UTC