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