[PATCH] Alternative filename for local configuration.

bug-global

From:	Jacek Migacz
Subject:	[PATCH] Alternative filename for local configuration.
Date:	Mon, 6 Mar 2017 18:07:52 +0100

Hi Shiyao-san,

would you consider checking for alternative local configuration filename: ".gtags.conf"?

Regards,

Jacek Migacz

dotgtagsconf.patch
Description: Text Data

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] Alternative filename for local configuration., Jacek Migacz <=
- Re: [PATCH] Alternative filename for local configuration., Jacek Migacz, 2017/03/06
- Re: [PATCH] Alternative filename for local configuration., Shigio YAMAGUCHI, 2017/03/06
  - Re: [PATCH] Alternative filename for local configuration., Jacek Migacz, 2017/03/07
    - Re: [PATCH] Alternative filename for local configuration., Shigio YAMAGUCHI, 2017/03/07