diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftexextra.in')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftexextra.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftexextra.in b/Build/source/texk/web2c/pdftexdir/pdftexextra.in index 4b5a5bd66fe..09d8514d224 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftexextra.in +++ b/Build/source/texk/web2c/pdftexdir/pdftexextra.in @@ -17,7 +17,6 @@ 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: banner etc. for pdfTeX. |