mirror of
https://github.com/urbit/shrub.git
synced 2025-01-06 04:07:23 +03:00
Fix some profiling stuff.
This commit is contained in:
parent
cb2238f076
commit
13992b5586
@ -9516,8 +9516,8 @@
|
||||
::
|
||||
%+ turn
|
||||
(~(tap by hit.day) ~)
|
||||
|= [pax=path num=@ud]
|
||||
:(welp (spud pax) ": " (scow %ud num))
|
||||
|= [nam=term num=@ud]
|
||||
:(welp (trip nam) ": " (scow %ud num))
|
||||
["" ~]
|
||||
::
|
||||
%- zing
|
||||
|
Loading…
Reference in New Issue
Block a user