diff options
Diffstat (limited to 'Master/texmf/lists/bin-web')
| -rw-r--r-- | Master/texmf/lists/bin-web | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/texmf/lists/bin-web b/Master/texmf/lists/bin-web deleted file mode 100644 index 0f9c51fec37..00000000000 --- a/Master/texmf/lists/bin-web +++ /dev/null @@ -1,4 +0,0 @@ -+bin-kpathsea -texmf/doc/man/man1/tangle.1 -texmf/doc/man/man1/weave.1 -texmf/lists/bin-web |