mirror of
https://github.com/urbit/shrub.git
synced 2024-12-19 00:13:12 +03:00
hoon: make some comments into doccords
This commit is contained in:
parent
baa48948cf
commit
3c323783ca