tree 1b17c81fb0dc4409c37116b44e360ba4e11eb3d0
parent 83cf2e1a4e818f3e13a5fe09b723ccc66599a6fb
author Morten Krogh-Jespersen <mkroghj@google.com> 1597344716 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> 1597344716 +0200

Rename ValueNameGenerator to NumberGenerator

We will be using the generator for block numbering as well.

Change-Id: I8d8402157482f3189d2c91ba656c9be7600e82c3