Andrew Kryczka 40e97b02be add warning on DeleteFile() API (#7337) ...

Summary:
Since we can't land https://github.com/facebook/rocksdb/issues/7336 until the next major release, added a strong warning against the `DeleteFile()` API in the meantime.

Pull Request resolved: https://github.com/facebook/rocksdb/pull/7337

Reviewed By: pdillinger

Differential Revision: D23459728

Pulled By: ajkr

fbshipit-source-id: 326cb9b18190386080c35c761a8736d8a877dafb

2020-09-03 16:42:01 -07:00

..

rocksdb

add warning on DeleteFile() API (#7337)

2020-09-03 16:42:01 -07:00