diff options
Diffstat (limited to 'Master/texmf-dist/doc/fonts/libertinus-otf/libertinus-otf-doc.tex')
-rw-r--r-- | Master/texmf-dist/doc/fonts/libertinus-otf/libertinus-otf-doc.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/fonts/libertinus-otf/libertinus-otf-doc.tex b/Master/texmf-dist/doc/fonts/libertinus-otf/libertinus-otf-doc.tex index 382540502fb..86777686029 100644 --- a/Master/texmf-dist/doc/fonts/libertinus-otf/libertinus-otf-doc.tex +++ b/Master/texmf-dist/doc/fonts/libertinus-otf/libertinus-otf-doc.tex @@ -1,4 +1,4 @@ -%% $Id: libertinus-otf-doc.tex 777 2018-07-07 09:08:07Z herbert $ +%% $Id: libertinus-otf-doc.tex 802 2018-09-03 10:38:34Z herbert $ \listfiles \documentclass[polish,english]{article} \usepackage{libertinus-otf} |