Merge pull request #6733 from urbit/remove-deprecated-arms

zuse: remove deprecated arms
This commit is contained in:
Pyry Kovanen 2023-07-28 18:30:36 +03:00 committed by GitHub
commit 32665022d2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4696,22 +4696,6 @@
4
-- ::de
-- ::json
:: +en-json:html: encode json to tape
::
:: XX: deprecated; use +en:json:html
::
++ en-json
|= jon=^json
^- tape
(trip (en:json jon))
:: +de-json:html: parse cord to (unit json)
::
:: XX: deprecated; use +de:json:html
::
++ de-json
|= txt=cord
^- (unit ^json)
(de:json txt)
:: :: ++en-xml:html
++ en-xml :: xml printer
=< |=(a=manx `tape`(apex a ~))