diff options
Diffstat (limited to 'Master/texmf/lists/flagderiv')
-rw-r--r-- | Master/texmf/lists/flagderiv | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/texmf/lists/flagderiv b/Master/texmf/lists/flagderiv new file mode 100644 index 00000000000..0b814aa1372 --- /dev/null +++ b/Master/texmf/lists/flagderiv @@ -0,0 +1,6 @@ +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 |