Update documentation (Travis CI build 6615)

stephenkinder · Nov 20, 2018 · 9d8ce0f · 9d8ce0f
1 parent cfab58a
commit 9d8ce0f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/contributing/guide/contributing.html b/contributing/guide/contributing.html
@@ -2115,7 +2115,7 @@ <h3 id="reference-material_{context}"><a class="link" href="#reference-material_
 </tbody>
 </table>
 <div class="paragraph">
-<p><em>Revised on 2018-11-20 16:39:17 UTC</em></p>
+<p><em>Revised on 2018-11-20 20:04:45 UTC</em></p>
 </div>
 </div>
 </div>

diff --git a/contributing/guide/full.html b/contributing/guide/full.html
@@ -2552,15 +2552,15 @@ <h3 id="reference-material_{context}"><a class="link" href="#reference-material_
 </tbody>
 </table>
 <div class="paragraph">
-<p><em>Revised on 2018-11-20 16:39:18 UTC</em></p>
+<p><em>Revised on 2018-11-20 20:04:46 UTC</em></p>
 </div>
 </div>
 </div>
 </div>
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2018-11-20 16:05:08 UTC
+Last updated 2018-11-20 19:29:24 UTC
 </div>
 </div>
 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/styles/github.min.css">

diff --git a/docs/master/full.html b/docs/master/full.html
@@ -22305,7 +22305,7 @@ <h4 id="metrics_references"><a class="link" href="#metrics_references">D.4.3. Me
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2018-11-20 16:05:08 UTC
+Last updated 2018-11-20 19:29:24 UTC
 </div>
 </div>
 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/styles/github.min.css">