[latex3-commits] [latex3/latex2e] branch 'newlabel' deleted

github at latex-project.org github at latex-project.org
Tue May 23 20:00:14 CEST 2023


Repository : https://github.com/latex3/latex2e
Deleted branch: newlabel




More information about the latex3-commits mailing list.