mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-28 11:40:11 +03:00
hoon: remove $plat
$plat was a type of $plot added in
bc6ad0456d
plots are no longer a thing, so
neither should be plats.
This commit is contained in:
parent
ed2190dc19
commit
517945c582
@ -6325,12 +6325,6 @@
|
||||
== ::
|
||||
+$ pica (pair ? cord) :: & prose, | code
|
||||
+$ palo (pair vein opal) :: wing trace, match
|
||||
+$ plat ::
|
||||
$? %hoon ::
|
||||
%type ::
|
||||
%nock ::
|
||||
%tank ::
|
||||
== ::
|
||||
+$ pock (pair axis nock) :: changes
|
||||
+$ port (each palo (pair type nock)) :: successful match
|
||||
+$ spec :: structure definition
|
||||
|
Loading…
Reference in New Issue
Block a user