google/jsonnet

There is no way to format numbers as strings

Closed this issue · 0 comments

Implementing something like the Python % operator seems like the best plan. Although other solutions would also be possible.