]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf502fe) | patch
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)
commit5458aee9c9dc5ef75189107a2d4a1ac565b44a7c
treede80fedf3af706ac539a1cb0ad93d91bed8c4723tree | snapshot
parentbf502feaba385e5e8ebd5f80c005522c59660496commit | diff
Record in a code_node whether it was indented or not.

This is needed to correctly adjust for this indent when processing the
code.

Signed-off-by: NeilBrown <neilb@suse.de>
csrc/mdcode.mdc diff | blob | history
The Ocean Language Project