diff options
Diffstat (limited to 'Build/source/texk/web2c/euptexdir/euptex.defines')
| -rw-r--r-- | Build/source/texk/web2c/euptexdir/euptex.defines | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/euptexdir/euptex.defines b/Build/source/texk/web2c/euptexdir/euptex.defines index 42d385120cc..3647f9c4f30 100644 --- a/Build/source/texk/web2c/euptexdir/euptex.defines +++ b/Build/source/texk/web2c/euptexdir/euptex.defines @@ -51,3 +51,4 @@ @define procedure getcreationdate; @define procedure getfilemoddate(); @define procedure getfilesize(); +@define procedure getfiledump(); |