Updating docs by running update-imported-docs.sh

2016-09-02 16:09:21 -07:00
parent 2cbb016810
commit caa3d8c8e3
106 changed files with 101651 additions and 10362 deletions
@@ -1,7 +1,7 @@
 ---
 ---
 <!-- needed for gh-pages to render html files when imported -->
-{% include v1.3/v1-definitions.html %}
+{% include v1.4/v1-definitions.html %}



@@ -1,7 +1,7 @@
 ---
 ---
 <!-- needed for gh-pages to render html files when imported -->
-{% include v1.3/v1-operations.html %}
+{% include v1.4/v1-operations.html %}