diff options
| author |  Muxi Yan <muxi@users.noreply.github.com> | 2018-11-19 12:04:01 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-11-19 12:04:01 -0800 |
| commit | 0226bbbf528f11ad0ad7c542737605348d65660a (patch) | |
| tree | 70966c794d83e951d67a77caa1ed724b3fee835c /BUILD | |
| parent | 168965b2c21f0ebfc9a81bec4aaff87acf064326 (diff) | |
Boost core version in BUILD
Diffstat (limited to 'BUILD')
| -rw-r--r-- | BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -66,7 +66,7 @@ config_setting( # This should be updated along with build.yaml g_stands_for = "gizmo" -core_version = "6.0.0-dev" +core_version = "7.0.0-dev" version = "1.17.0-dev" |