Simplify naming of menu options

joxeankoret / diaphora

Diaphora, the most advanced Free and Open Source program diffing tool.

http://diaphora.re

GNU Affero General Public License v3.0

3.58k stars 371 forks source link

Closed cees-elzinga closed 1 year ago

cees-elzinga commented 3 years ago

I feel that some of the menu options sound a bit vague. I added a suggestion to simplify them, let me know what you think.

(This pull requests only updates the HTML docs, not the PDF/odt. That's probably easier for you to change.)

joxeankoret commented 1 year ago

Thank you very much and sorry for taking so long to approve.