tree d38b3922449bf04650f557d6fa65ee5719c483e6
parent 3d71b9d7aef2206a0f080de97d7ccb2b682acf00
author Han-Wen Nienhuys <hanwen@google.com> 1620658067 +0200
committer Han-Wen Nienhuys <hanwen@google.com> 1620658067 +0200

Documentation/user-review-ui: remove intraline diff mention

This preference doesn't exist anymore.

Change-Id: I15faa971d5cfe80ab82295f1af4e307da1d17f10