diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/dumpdata.h')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/dumpdata.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/dumpdata.h b/Build/source/texk/web2c/luatexdir/tex/dumpdata.h index 07a62f87ef5..349e37fb238 100644 --- a/Build/source/texk/web2c/luatexdir/tex/dumpdata.h +++ b/Build/source/texk/web2c/luatexdir/tex/dumpdata.h @@ -17,7 +17,7 @@ You should have received a copy of the GNU General Public License along with LuaTeX; if not, see <http://www.gnu.org/licenses/>. */ -/* $Id: dumpdata.h 3853 2010-09-03 18:05:14Z oneiros $ */ +/* $Id: dumpdata.h 4479 2012-11-07 16:38:55Z taco $ */ #ifndef DUMPDATA_H # define DUMPDATA_H |