urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-03 10:02:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

ping: turn off auto-verb

Browse Source
This commit is contained in:
Philip Monk 2023-06-27 19:12:00 -07:00
parent 42bc4303e5
commit f5602cedbc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkg/arvo/app/ping.hoon
View File

@ -277,7 +277,7 @@
(set-timer now)
--
--
%+ verb &
%+ verb |
^- agent:gall
|_ =bowl:gall
+* this .