Skip to content
Snippets Groups Projects
Commit e71d42e8 authored by Luigi Scarso's avatar Luigi Scarso
Browse files

sync with texlive revision 46784. 

[[Split portion of a mixed commit.]]
parent dd9846e2
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment