diff options
Diffstat (limited to 'Build/source/texk/web2c/eptexdir/eptex.defines')
-rw-r--r-- | Build/source/texk/web2c/eptexdir/eptex.defines | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/eptexdir/eptex.defines b/Build/source/texk/web2c/eptexdir/eptex.defines index 1878238fd56..8af65b6678e 100644 --- a/Build/source/texk/web2c/eptexdir/eptex.defines +++ b/Build/source/texk/web2c/eptexdir/eptex.defines @@ -39,6 +39,7 @@ @define function getintone (); @define procedure setintone (); +@define procedure initstarttime; @define procedure getcreationdate; @define procedure getfilemoddate(); @define procedure getfilesize(); |