mirror of
https://github.com/urbit/shrub.git
synced 2024-12-03 05:43:18 +03:00
Merge commit 'd93b105' into cc-merge
This commit is contained in:
commit
1b20c4530c
@ -1261,9 +1261,9 @@
|
||||
^+ +>
|
||||
=+ shu=(~(get by shells) ost.hid)
|
||||
?~ shu
|
||||
~& :+ %ra-console-broken ost.hid
|
||||
~| :+ %ra-console-broken ost.hid
|
||||
?:((~(has by sup.hid) ost.hid) %lost %unknown)
|
||||
+>.$
|
||||
!!
|
||||
sh-abet:(~(sh-sole sh ~ u.shu) act)
|
||||
::
|
||||
++ ra-emil :: ra-emit move list
|
||||
|
Loading…
Reference in New Issue
Block a user