1ae8b1db41
This option was deprecated some years ago[1] because it was unused.
It hasn't been used since then, too, so we can remove it now.
[1]
|
||
---|---|---|
.. | ||
notes | ||
source |