]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59266b8) | patch
Rename Indent and Undent to IN and OUT
authorNeilBrown <neilb@suse.de>
Thu, 25 Jul 2013 10:13:22 +0000 (20:13 +1000)
committerNeilBrown <neilb@suse.de>
Thu, 25 Jul 2013 10:13:22 +0000 (20:13 +1000)
commitf66288249841261c6580cc03a192bc5efb1dbdce
tree9f4af6a73b58e89dc38de1ae8a11b9c5a953eca5tree | snapshot
parent59266b8ed2e3fb83cc93b82c8a06b8cad0d6c6ebcommit | diff
Rename Indent and Undent to IN and OUT

These names work better for me.
There is an indent on every line, so the place where the
indent increases shouldn't be called "indent".
And "undent" isn't a word.

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