diff options
Diffstat (limited to 'Master/texmf-dist/metapost/base/texnum.mp')
-rw-r--r-- | Master/texmf-dist/metapost/base/texnum.mp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/texmf-dist/metapost/base/texnum.mp b/Master/texmf-dist/metapost/base/texnum.mp index afb311c3e4f..a6e8c6b70c7 100644 --- a/Master/texmf-dist/metapost/base/texnum.mp +++ b/Master/texmf-dist/metapost/base/texnum.mp @@ -1,3 +1,6 @@ +% $Id: texnum.mp,v 1.2 2004/09/19 21:47:11 karl Exp $ +% Public domain. + % Default init_numbers for use with TeX % Don't input this directly--format.mp uses this file |