]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e540d72) | patch
oceani - assorted cleanups.
authorNeilBrown <neil@brown.name>
Mon, 22 Apr 2019 12:01:06 +0000 (22:01 +1000)
committerNeilBrown <neil@brown.name>
Wed, 1 May 2019 08:07:28 +0000 (18:07 +1000)
commiteeebd0c124872edc667d7523c6a5e729b0791f89
treefef130c4afa482bbdad0f540264e0b6d0243c7d1tree | snapshot
parente540d72cf62c4e120b2ff8c661ee60316e486650commit | diff
oceani - assorted cleanups.

Reading through the whole document found a few typos,
and few things in the wrong place, some areas where
a better explanation would help etc.

This patch combines several such improvements.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani.mdc diff | blob | history
The Ocean Language Project