tree b326446c56b95a09589692b683b8158fe4f05ef7
parent fc2529c2ff9a84ca132597ab63580a0fff4093da
author Jon Tate <jonathantate@google.com> 1689178616 +0000
committer Jon Tate <jonathantate@google.com> 1689189420 +0000

Nexus: replace Springbok with Kelvin

Forking ml_core.repl to [springbok|kelvin]_ml_core.repl.

Change-Id: Icf4bb5277be7a671c14a8e6e05b72c7a41ffb8d3