diff options
Diffstat (limited to 'Master/texmf/lists/flagderiv')
-rw-r--r-- | Master/texmf/lists/flagderiv | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Master/texmf/lists/flagderiv b/Master/texmf/lists/flagderiv deleted file mode 100644 index 0b814aa1372..00000000000 --- a/Master/texmf/lists/flagderiv +++ /dev/null @@ -1,6 +0,0 @@ -texmf-dist/doc/latex/flagderiv/README -texmf-dist/doc/latex/flagderiv/flagderiv.pdf -texmf-dist/source/latex/flagderiv/flagderiv.dtx -texmf-dist/source/latex/flagderiv/flagderiv.ins -texmf-dist/tex/latex/flagderiv/flagderiv.sty -texmf/lists/flagderiv |