summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftexextra.in
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftexextra.in')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftexextra.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftexextra.in b/Build/source/texk/web2c/pdftexdir/pdftexextra.in
index 1af7e0628da..6d7e9e67972 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftexextra.in
+++ b/Build/source/texk/web2c/pdftexdir/pdftexextra.in
@@ -17,7 +17,7 @@ You should have received a copy of the GNU General Public License along
with pdfTeX; if not, write to the Free Software Foundation, Inc., 51
Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
-$Id: pdftexextra.in 200 2007-07-11 13:11:12Z oneiros $
+$Id: pdftexextra.in 114 2007-05-23 18:23:49Z ms $
*/
/* pdftexextra.in: banner etc. for pdfTeX.