diff options
Diffstat (limited to 'Master/texmf/lists/automata')
| -rw-r--r-- | Master/texmf/lists/automata | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Master/texmf/lists/automata b/Master/texmf/lists/automata deleted file mode 100644 index ede05c6f46c..00000000000 --- a/Master/texmf/lists/automata +++ /dev/null @@ -1,6 +0,0 @@ -texmf-dist/doc/metapost/automata/README -texmf-dist/doc/metapost/automata/example.mp -texmf-dist/doc/metapost/automata/example.pdf -texmf-dist/doc/metapost/automata/example.tex -texmf-dist/metapost/automata/automata.mp -texmf/lists/automata |