readthedocs.org
File Tree Diff: small documentation to mention the file selector
#12011
Merged
Merged