diff options
| author | Hans Hagen <pragma@wxs.nl> | 2019-07-31 18:26:52 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-07-31 18:26:52 +0200 |
| commit | 1873d112b56f49e40ece29916ede51933412bca8 (patch) | |
| tree | 1ad98a73dfbf2f1a98703f31e0df9e0cdf4f260c /metapost/context/base/mpiv/minifun.mpiv | |
| parent | 47852e5715e7c0374bb6bc173c1728908549e1ed (diff) | |
| download | context-1873d112b56f49e40ece29916ede51933412bca8.tar.gz | |
2019-07-31 18:13:00
Diffstat (limited to 'metapost/context/base/mpiv/minifun.mpiv')
| -rw-r--r-- | metapost/context/base/mpiv/minifun.mpiv | 12 |
1 files changed, 1 insertions, 11 deletions
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 |