From 1873d112b56f49e40ece29916ede51933412bca8 Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Wed, 31 Jul 2019 18:26:52 +0200 Subject: 2019-07-31 18:13:00 --- metapost/context/base/mpiv/minifun.mpiv | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) (limited to 'metapost/context/base/mpiv/minifun.mpiv') diff --git a/metapost/context/base/mpiv/minifun.mpiv b/metapost/context/base/mpiv/minifun.mpiv index ea4634c85..1aa496da2 100644 --- a/metapost/context/base/mpiv/minifun.mpiv +++ b/metapost/context/base/mpiv/minifun.mpiv @@ -25,15 +25,7 @@ input "mp-mlib.mpiv" ; input "mp-luas.mpiv" ; input "mp-page.mpiv" ; -string minifunversion ; minifunversion = - "minifun iv" & " " & - decimal year & "-" & - decimal month & "-" & - decimal day & " " & - if ((time div 60) < 10) : "0" & fi - decimal (time div 60) & ":" & - if ((time-(time div 60)*60) < 10) : "0" & fi - decimal (time-(time div 60)*60) ; +string minifunversion ; minifunversion = "minifun iv " & mfun_timestamp; let normalend = end ; @@ -43,5 +35,3 @@ if known mplib : else : def end = ; message "" ; message minifunversion ; message "" ; normalend ; enddef ; fi ; - -% dump ; % obsolete in mplib -- cgit v1.2.3