Rename defaultStartPosition -> defaultPosition
------------- Created by MOE: https://github.com/google/moe MOE_MIGRATED_REVID=132858669
Showing
with
20 additions
and
20 deletions
Please
register
or
sign in
to comment
------------- Created by MOE: https://github.com/google/moe MOE_MIGRATED_REVID=132858669