Subject: --no-dereference

From: Rodrigo Valiña Gutiérrez <[email-masked]>
Date: Mon, 31 Aug 2015 18:59:14 +0200

--no-dereference appears in 'diff --help' and 'info diffutils', but
not in 'man diff'.