Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It was deprecated and hidden in 2021, and its replacement is very straightforward. Signed-off-by: Daniel Martí <[email protected]> Change-Id: Ic3e3b43f27dd7f8a32f3b8ae6bf8d62da1648459 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1205530 Reviewed-by: Matthew Sackman <[email protected]> TryBot-Result: CUEcueckoo <[email protected]> Unity-Result: CUE porcuepine <[email protected]>
- Loading branch information