]> gitweb.factorcode.org Git - factor.git/commit
json: adding "Copy JSON" UI operation
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 25 Oct 2023 18:28:45 +0000 (11:28 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 25 Oct 2023 18:28:45 +0000 (11:28 -0700)
commit66848227188aafe919c9f4fa779d630cd52fe256
treee125d2b26152de8cd0c1b46345bea7018c05159f
parent76845b9bd8f7aea51f8adc14ebbae6cea18d8b27
json: adding "Copy JSON" UI operation
basis/json/json.factor
basis/json/ui/ui.factor [new file with mode: 0644]