deprecated_options.md

1 day ago · 781271daf8
1 changed files with 1 additions and 0 deletions
--- a/mkdocs/docs/config/deprecated_options.md
+++ b/mkdocs/docs/config/deprecated_options.md
@ -14,6 +14,7 @@ function or have been replaced. **They should not be used.**
 * **hard_remove**: Does nothing.
 * **kernel_cache**: Use `cache.files=full`.
 * **negative_entry**: Use `cache.negative_entry`.
+* **nonempty**: Does nothing.
 * **splice_move**: Does nothing.
 * **splice_read**: Does nothing.
 * **splice_write**: Does nothing.