diff options
author | Karl Berry <karl@freefriends.org> | 2008-04-30 16:53:06 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-04-30 16:53:06 +0000 |
commit | 06d7ba232c516289a0b08773e656df54c543727d (patch) | |
tree | 72bcee937470defaa9e90d8bfb3151d9982277a8 /Master/texmf/lists/punk | |
parent | 907758338cb7c8174780e035eabac245f5d8f5da (diff) |
no more lists files
git-svn-id: svn://tug.org/texlive/trunk@7746 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/lists/punk')
-rw-r--r-- | Master/texmf/lists/punk | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Master/texmf/lists/punk b/Master/texmf/lists/punk deleted file mode 100644 index d6e61a678ba..00000000000 --- a/Master/texmf/lists/punk +++ /dev/null @@ -1,19 +0,0 @@ -texmf-dist/fonts/source/public/punk/punk.mf -texmf-dist/fonts/source/public/punk/punk10.mf -texmf-dist/fonts/source/public/punk/punk12.mf -texmf-dist/fonts/source/public/punk/punk20.mf -texmf-dist/fonts/source/public/punk/punka.mf -texmf-dist/fonts/source/public/punk/punkae.mf -texmf-dist/fonts/source/public/punk/punkbx20.mf -texmf-dist/fonts/source/public/punk/punkd.mf -texmf-dist/fonts/source/public/punk/punkg.mf -texmf-dist/fonts/source/public/punk/punkl.mf -texmf-dist/fonts/source/public/punk/punkp.mf -texmf-dist/fonts/source/public/punk/punksl.mf -texmf-dist/fonts/source/public/punk/punksl20.mf -texmf-dist/fonts/tfm/public/punk/punk10.tfm -texmf-dist/fonts/tfm/public/punk/punk12.tfm -texmf-dist/fonts/tfm/public/punk/punk20.tfm -texmf-dist/fonts/tfm/public/punk/punkbx20.tfm -texmf-dist/fonts/tfm/public/punk/punksl20.tfm -texmf/lists/punk |