Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Set the most accurate User Manual page to Options tabs
Because some of the tabs in Options dialog have a dedicated chapter where they are fully described, better use those links instead of the global one.
- Loading branch information