JackBoosY 20a0c30dd8 [jsonnet]Upgrade version to 0.13.0 (#7374)
* [jsonnet]Upgrade version to 0.13.0

* [jsonnet]Use different commands depending on the version of powershell.

* [jsonnet]Fix merge error.
2019-08-19 08:55:29 -07:00
..