]> ocean-lang.org Git - ocean/commitdiff
parsergen: change 'again' to 'check_again'.
authorNeilBrown <neil@brown.name>
Fri, 5 Mar 2021 09:11:04 +0000 (20:11 +1100)
committerNeilBrown <neil@brown.name>
Wed, 10 Mar 2021 01:00:30 +0000 (12:00 +1100)
Sometimes I use 'again', sometimes 'check_again'.
Change all to use 'check_again'.

Signed-off-by: NeilBrown <neil@brown.name>

No differences found