Closed erights closed 11 months ago
I really like syntax highlighting.
See https://github.com/Agoric/agoric-sdk/pull/8415
Not at all urgent. But should be trivial to review, so ping ;)
I really like syntax highlighting.
See https://github.com/Agoric/agoric-sdk/pull/8415