]> ocean-lang.org Git - ocean/commitdiff
code / ocean / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 5a46557)
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)
section header that just introduce code are 6 deep, not 2.

Signed-off-by: NeilBrown <neil@brown.name>

No differences found
The Ocean Language Project