diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pkin.c')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pkin.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pkin.c b/Build/source/texk/web2c/pdftexdir/pkin.c index 738931c317e..4b469d84b6e 100644 --- a/Build/source/texk/web2c/pdftexdir/pkin.c +++ b/Build/source/texk/web2c/pdftexdir/pkin.c @@ -16,8 +16,6 @@ GNU General Public License for more details. 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$ */ /* @@ -45,6 +43,9 @@ $Id$ #include "ptexlib.h" +static const char _svn_version[] = + "$Id$ $URL: http://scm.foundry.supelec.fr/svn/pdftex/branches/stable/source/src/texk/web2c/pdftexdir/pkin.c $"; + /* * Now we have some routines to get stuff from the pk file. pkbyte returns * the next byte from the pk file. |