diff options
Diffstat (limited to 'Build/source/texk/kpathsea/mktexnam.opt')
-rw-r--r-- | Build/source/texk/kpathsea/mktexnam.opt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/kpathsea/mktexnam.opt b/Build/source/texk/kpathsea/mktexnam.opt index 56b536ad2ab..32d98dfe5b7 100644 --- a/Build/source/texk/kpathsea/mktexnam.opt +++ b/Build/source/texk/kpathsea/mktexnam.opt @@ -2,6 +2,7 @@ # Sourced from mktexnam. # # Primarily written by Thomas Esser, Karl Berry, and Olaf Weber. +# Public domain. # $Id$ # Get 8.3 filenames like dpiNNN/NAME.pk. |