#

2019-09-19 19:52:09 +02:00
parent e678e2f644
commit 5db0c85105
357 changed files with 52702 additions and 0 deletions
--- a/all/dvipdfm
+++ b/all/dvipdfm
@ -0,0 +1,3 @@
+A modified version of this file may be distributed, but it should be distributed
+with a *different* name. Changed files must be distributed *together with
+a complete and unchanged* distribution of these files.