mirror of
https://github.com/urbit/shrub.git
synced 2024-12-19 16:51:42 +03:00
gall: delete unused migrate:of-grow
This commit is contained in:
parent
13b495bea4
commit
350e883ad6
@ -130,14 +130,6 @@
|
||||
^- (list coop)
|
||||
^$(pos (snoc pos seg), farm f)
|
||||
::
|
||||
++ migrate
|
||||
|= from=(map spur plot)
|
||||
=/ from ~(tap by from)
|
||||
|- ^+ farm
|
||||
?~ from farm
|
||||
=. farm (need (put i.from))
|
||||
$(from t.from)
|
||||
::
|
||||
++ match-coop
|
||||
=| wer=path
|
||||
|= =path
|
||||
|
Loading…
Reference in New Issue
Block a user