]> ocean-lang.org Git - ocean/commitdiff
code / ocean / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 5458aee)
Record in a code_node whether it was indented or not.
authorNeilBrown <neilb@suse.de>
Sat, 22 Jun 2013 07:39:23 +0000 (17:39 +1000)
committerNeilBrown <neilb@suse.de>
Sat, 22 Jun 2013 07:39:23 +0000 (17:39 +1000)
This is needed to correctly adjust for this indent when processing the
code.

Signed-off-by: NeilBrown <neilb@suse.de>

No differences found
The Ocean Language Project