]> ocean-lang.org Git - ocean/commit
oceani: move comment printing from print_exec() to where later
authorNeilBrown <neil@brown.name>
Mon, 27 Dec 2021 21:13:35 +0000 (08:13 +1100)
committerNeilBrown <neil@brown.name>
Mon, 27 Dec 2021 21:13:35 +0000 (08:13 +1100)
commit39f272e16649c2fe49184d31f668471ff49ee9ed
treea969aea1a5594f4d2d8029dc3166375ec79bae5f
parent772180e5c0778f87edf37113966052d25ad880a3
oceani: move comment printing from print_exec() to where later

The code for printing comments about variable usage that come after some
execs is now presented with other code for managing those variables.

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