diff options
author | David Chen <dzc@google.com> | 2015-10-13 12:51:50 +0000 |
---|---|---|
committer | Florian Weikert <fwe@google.com> | 2015-10-13 21:12:23 +0000 |
commit | ea9870176a898dd9759d2ec2776cdb92ee0cf0f4 (patch) | |
tree | 6502780ef750b3fba701c960b06dfeea9c388b97 /WORKSPACE | |
parent | e517abe4b1eeafd27daeac9e8c1f5b1d7f96aa6e (diff) |
[jsonnet] Update to Jsonnet 0.8.1
RELNOTES: [jsonnet] Update to Jsonnet 0.8.1.
--
MOS_MIGRATED_REVID=105303487
Diffstat (limited to 'WORKSPACE')
-rw-r--r-- | WORKSPACE | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -63,7 +63,7 @@ new_http_archive( new_git_repository( name = "jsonnet", remote = "https://github.com/google/jsonnet.git", - tag = "v0.8.0", + tag = "v0.8.1", build_file = "tools/build_defs/jsonnet/jsonnet.BUILD", ) |