nudge CI

apache · Oct 10, 2019 · e535bcc · e535bcc
1 parent c332c54
commit e535bcc
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) {