Re: [PATCH] Alternative filename for local configuration.

bug-global

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

Sorry, I meant Shigio-san, not Shiyao-san.

2017-03-06 18:07 GMT+01:00 Jacek Migacz <address@hidden>:

Hi Shiyao-san,

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

Regards,
--
Jacek Migacz

Jacek Migacz

Current Thread

[Next in Thread]

[PATCH] Alternative filename for local configuration., Jacek Migacz, 2017/03/06
- Re: [PATCH] Alternative filename for local configuration., Jacek Migacz <=
- 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