Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It has been deprecated and marked as DO NOT USE since April 2021, which was even before the first tagged release, v0.0.2 in July 2021. Now that it has been three full years, and the last use in 'cue cmd' has been ripped out, it's time to remove it. Signed-off-by: Daniel Martí <mvdan@mvdan.cc> Change-Id: I4c03a3f9c767d29e62f9496c72ac06b74b7070e7 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1193719 Reviewed-by: Paul Jolly <paul@myitcv.io> TryBot-Result: CUEcueckoo <cueckoo@cuelang.org> Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
- Loading branch information