]> ocean-lang.org Git - ocean/commit
oceani: add missing space in usage message.
authorNeilBrown <neil@brown.name>
Fri, 5 Mar 2021 22:15:06 +0000 (09:15 +1100)
committerNeilBrown <neil@brown.name>
Wed, 10 Mar 2021 01:00:31 +0000 (12:00 +1100)
commit6ba0287e8e61e8d5d3efd675f6107696e96224de
treec8134a5ebe3b35ce6983be8d9b98b28d43f07e7d
parent25de15d0a49d4211534ce13442b31656b9058ea9
oceani: add missing space in usage message.

Wrapping long strings is a bad idea anyway.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani-tests.mdc
csrc/oceani.mdc