Mention original ctags option name.
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/1fbacbf998678ae8d5868aeea3e83c915e940d0a
Modified Files
--------------
src/tools/make_ctags | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)