diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/tfmin.w')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/tfmin.w | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/mplibdir/tfmin.w b/Build/source/texk/web2c/mplibdir/tfmin.w index 0c9e7c5385c..142824258c6 100644 --- a/Build/source/texk/web2c/mplibdir/tfmin.w +++ b/Build/source/texk/web2c/mplibdir/tfmin.w @@ -1,5 +1,3 @@ -% $Id: tfmin.w 1682 2011-05-30 07:24:45Z taco $ -% % Copyright 2008-2009 Taco Hoekwater. % % This program is free software: you can redistribute it and/or modify |