This website requires JavaScript.
Explore
Help
Sign In
urbit
/
shrub
Watch
1
Star
1
Fork
0
You've already forked shrub
mirror of
https://github.com/urbit/shrub.git
synced
2024-12-22 10:21:31 +03:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
2442f9bb93
shrub
/
pkg
/
arvo
/
gen
/
spider
/
kill.hoon
5 lines
50 B
Plaintext
Raw
Normal View
History
Unescape
Escape
completed +help comments for places they were missing
2020-03-25 01:14:24 +03:00
:: Kill a thread
aqua: make faster so moon-az can finish
2019-12-04 10:53:42 +03:00
:- %say
|= *
[%spider-kill ~]
Reference in New Issue
Copy Permalink