diff options
author | Karl Berry <karl@freefriends.org> | 2006-07-01 22:52:24 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-07-01 22:52:24 +0000 |
commit | 8c3bcfdc97ac960118349d5339c160b003377519 (patch) | |
tree | 8aecda03d1a340389ca20f8e9052f32643adc303 /Master/texmf-dist/tpm/doublestroke.tpm | |
parent | 799c37aa04daa4fbf6a80d216a289835d82c256f (diff) |
delete proofs package, as files are either obsolete or nonfree or both
git-svn-id: svn://tug.org/texlive/trunk@1742 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tpm/doublestroke.tpm')
0 files changed, 0 insertions, 0 deletions