[GitHub] flink pull request #5390: [FLINK-8475][config][docs] Integrate SlotManager o...

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

[GitHub] flink pull request #5390: [FLINK-8475][config][docs] Integrate SlotManager o...

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