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(-) -- Sent via pgsql-committers mailing list (pgsql-committers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-committers