]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e98e1c) | patch
oceani: fix some incorrect section headers.
authorNeilBrown <neil@brown.name>
Sun, 17 Oct 2021 09:29:16 +0000 (20:29 +1100)
committerNeilBrown <neil@brown.name>
Sat, 30 Oct 2021 22:19:48 +0000 (09:19 +1100)
commit5a46557efc87c72f5c80ddd978e90d1a376a3429
tree7455f83ecc76672ff6d4924728caad9358db1788tree | snapshot
parent9e98e1c58af49338d0a0710e27ad0529a32345e6commit | diff
oceani: fix some incorrect section headers.

section header that just introduce code are 6 deep, not 2.

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