Github user aljoscha commented on a diff in the pull request: https://github.com/apache/flink/pull/5468#discussion_r167901255 --- Diff: docs/_includes/generated/environment_configuration.html --- @@ -0,0 +1,41 @@ +<table class="table table-bordered"> + <thead> + <tr> + <th class="text-left" style="width: 20%">Key</th> + <th class="text-left" style="width: 15%">Default</th> + <th class="text-left" style="width: 65%">Description</th> + </tr> + </thead> + <tbody> + <tr> + <td><h5>env.java.opts</h5></td> + <td>(none)</td> + <td></td> --- End diff -- KK, go ahead, then. ð
---