]> ocean-lang.org Git - ocean/commit
oceani: add proper 'then' handling.
authorNeilBrown <neil@brown.name>
Tue, 7 Oct 2014 06:06:11 +0000 (17:06 +1100)
committerNeilBrown <neil@brown.name>
Tue, 7 Oct 2014 06:08:05 +0000 (17:08 +1100)
commit3e2f9d1e4cf6f1f5cb36abb62e7cc73c56172a10
tree181a6f3c542a897505db810bd600d908a09b1628
parent3e7c0e42d06fc854e20ec445e6b2a37ab0b50406
oceani: add proper 'then' handling.

I hadn't thought about this properly before..

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani.mdc