Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
play: disable playground policy mode
Policy mode is not yet finished. This change disables the mode until it's complete. Preview-Path: /play Signed-off-by: Jonathan Matthews <[email protected]> Change-Id: I91c251fedf0eab2aee1891c0196c3f520f5c328d Reviewed-on: https://review.gerrithub.io/c/cue-lang/cuelang.org/+/1177139 TryBot-Result: CUEcueckoo <[email protected]> Reviewed-by: Paul Jolly <[email protected]>
- Loading branch information