From: NeilBrown <neil@brown.name>
Date: Sat, 27 Apr 2019 23:21:06 +0000 (+1000)
Subject: oceani: make "Base Types" a subsection of "Types"
X-Git-Tag: JamisonCreek-3~40
X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=commitdiff_plain;h=3047c0ce162cac7cfd859e0e9bcc0e9c0de6f170

oceani: make "Base Types" a subsection of "Types"

I don't think it deserved to stand alone.

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

diff --git a/csrc/oceani.mdc b/csrc/oceani.mdc
index f3bf6a1..430c29f 100644
--- a/csrc/oceani.mdc
+++ b/csrc/oceani.mdc
@@ -557,7 +557,7 @@ which are often passed around by value.
 		free(t);
 	}
 
-### Base Types
+#### Base Types
 
 Values of the base types can be numbers, which we represent as
 multi-precision fractions, strings, Booleans and labels.  When