[GitHub] flink pull request #5464: [FLINK-8475][config][docs] Integrate Checkpointing...

2018-02-12 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/5464 ---

[GitHub] flink pull request #5464: [FLINK-8475][config][docs] Integrate Checkpointing...

2018-02-12 Thread zentol
GitHub user zentol opened a pull request: https://github.com/apache/flink/pull/5464 [FLINK-8475][config][docs] Integrate Checkpointing options ## What is the purpose of the change This PR integrates the Checkpointing `ConfigOptions` into the configuration docs generator.