diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/mini-art.plf1')
| -rw-r--r-- | Master/texmf-dist/doc/latex/minitoc/mini-art.plf1 | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/mini-art.plf1 b/Master/texmf-dist/doc/latex/minitoc/mini-art.plf1 deleted file mode 100644 index 0e62e815f3a..00000000000 --- a/Master/texmf-dist/doc/latex/minitoc/mini-art.plf1 +++ /dev/null @@ -1,2 +0,0 @@ -{\reset@font\plffont\mtc@string\contentsline{figure}{\noexpand \leavevmode \numberline {1}{\ignorespaces F1}}{\reset@font\plffont 6}} -{\reset@font\plffont\mtc@string\contentsline{figure}{\noexpand \leavevmode \numberline {2}{\ignorespaces f2}}{\reset@font\plffont 6}} |