]> ocean-lang.org Git - ocean/commitdiff
oceani: indent grammar more consistently.
authorNeilBrown <neil@brown.name>
Mon, 29 Nov 2021 08:39:06 +0000 (19:39 +1100)
committerNeilBrown <neil@brown.name>
Mon, 29 Nov 2021 08:39:06 +0000 (19:39 +1100)
- all products are not indented, whether they start with a non-term or a
  '|'.
- Code is indented once - plus internal indents.

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

No differences found