diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-03-31 12:15:06 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-03-31 12:15:06 +0200 |
| commit | aab1c4e9206382c1a96d738fddabf3d98218f267 (patch) | |
| tree | f2f2deb68b14da978dde592e28c67c9c627d841a /tex/context/base/trac-inf.lua | |
| parent | 859ed31b143659de2ed45291cb5b121c41cecede (diff) | |
| download | context-aab1c4e9206382c1a96d738fddabf3d98218f267.tar.gz | |
2015-03-31 12:06:00
Diffstat (limited to 'tex/context/base/trac-inf.lua')
| -rw-r--r-- | tex/context/base/trac-inf.lua | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/tex/context/base/trac-inf.lua b/tex/context/base/trac-inf.lua index 034726ffc..5497e54eb 100644 --- a/tex/context/base/trac-inf.lua +++ b/tex/context/base/trac-inf.lua @@ -207,17 +207,3 @@ function statistics.tracefunction(base,tag,...) statistics.register(formatters["%s.%s"](tag,name),function() return serialize(stat,"calls") end) end end - --- where, not really the best spot for this: - -commands = commands or { } - -function commands.resettimer(name) - resettiming(name or "whatever") - starttiming(name or "whatever") -end - -function commands.elapsedtime(name) - stoptiming(name or "whatever") - context(elapsedtime(name or "whatever")) -end |