diff options
Diffstat (limited to 'Master/tlp/venn.tlp')
-rw-r--r-- | Master/tlp/venn.tlp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/tlp/venn.tlp b/Master/tlp/venn.tlp deleted file mode 100644 index 573416edd5f..00000000000 --- a/Master/tlp/venn.tlp +++ /dev/null @@ -1,4 +0,0 @@ -name venn -category Package -runfiles - texmf-dist/metapost/venn/venn.mp |