diff options
| author | Marius <mariausol@gmail.com> | 2012-04-18 00:00:15 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2012-04-18 00:00:15 +0300 |
| commit | 0756a263c41de5279fef717c5b9cca9909308c3a (patch) | |
| tree | 567d2b2851ff4be9bcc8b23386d2cb0b9e115600 /scripts/context/lua/mtx-context.lua | |
| parent | d30dc77c610b72db7e7bc53f2a10e18756cfe437 (diff) | |
| download | context-0756a263c41de5279fef717c5b9cca9909308c3a.tar.gz | |
beta 2012.04.17 22:37
Diffstat (limited to 'scripts/context/lua/mtx-context.lua')
| -rw-r--r-- | scripts/context/lua/mtx-context.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 16e8962c4..305236509 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -1646,6 +1646,7 @@ elseif environment.argument("ctx") then elseif environment.argument("mp") or environment.argument("metapost") then scripts.context.timed(scripts.context.metapost) elseif environment.argument("version") then + application.identify() scripts.context.version() elseif environment.argument("touch") then scripts.context.touch() |