Sagar Vemuri 0c4678fd1b Update documentation about dynamic options (#4653) ... Summary: Updated the comments around all options which are currently dynamic. Without explicitly specifying in the comments around the options, its hard for RocksDB users to know if an option is dynamically changeable or not unless they dig into the implementation details. Pull Request resolved: https://github.com/facebook/rocksdb/pull/4653 Differential Revision: D12966735 Pulled By: sagar0 fbshipit-source-id: 1a01acbf6fe506b989e71629ce223f9803ebae27		2018-11-09 13:30:49 -08:00
..
rocksdb	Update documentation about dynamic options (#4653)	2018-11-09 13:30:49 -08:00