jsonnet icon indicating copy to clipboard operation
jsonnet copied to clipboard

Published 20 hours ago • verified publisher icon google

Add digit separators

Open seizethedave opened this issue 8 months ago • 4 comments

This PR adds digit separators (1_000) to Jsonnet's numeric constants.

Accompanying issue with format proposal: https://github.com/google/jsonnet/issues/1155

seizethedave avatar Jun 22 '24 03:06 seizethedave