]> ocean-lang.org Git - ocean/commit
oceani: fix a couple of typos.
authorNeilBrown <neil@brown.name>
Sat, 20 Apr 2019 04:57:21 +0000 (14:57 +1000)
committerNeilBrown <neil@brown.name>
Sat, 20 Apr 2019 05:02:26 +0000 (15:02 +1000)
commitebe9a40baf270d657e451586492f512d41585dde
tree4e3d3241ba33701ac94d81d2b1d1688d15da1b9c
parent470b2955e36125aa99ef54d9aa54db026172819f
oceani: fix a couple of typos.

There is always one more typo...

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