]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db571f9) | patch
oceani: make "Base Types" a subsection of "Types"
authorNeilBrown <neil@brown.name>
Sat, 27 Apr 2019 23:21:06 +0000 (09:21 +1000)
committerNeilBrown <neil@brown.name>
Wed, 1 May 2019 08:07:28 +0000 (18:07 +1000)
commit3047c0ce162cac7cfd859e0e9bcc0e9c0de6f170
tree83513b1d53fd21c02a48aa182c8340ddf3bffdactree | snapshot
parentdb571f9737d8d3f14921ae53f41d13897cadd1f5commit | diff
oceani: make "Base Types" a subsection of "Types"

I don't think it deserved to stand alone.

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