nudge CI

apache · Oct 8, 2019 · 11574bc · 11574bc
1 parent 607a651
commit 11574bc
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/static_site/src/assets/js/options.js b/docs/static_site/src/assets/js/options.js
@@ -17,7 +17,9 @@
  * under the License.
  */
 
-/* Installation page display functions for install selector */
+/* Installation page display functions for install selector.
+   This utility allows direct links to specific install instructions.
+*/
 
 $(document).ready(function () {
     function label(lbl) {