On Fri, 04 Jul 2008 09:28:14 +0200 "Tobias Polzin" <[EMAIL PROTECTED]> wrote: Hi,
> Would this be sufficient? It works very well. I accept your code. This facility is profitable for a lot of people. I wish to express my gratitude for your tenacious contribution in place of them. P.S. About the default value of gtags-pop-delete, please let me think a little. -- Shigio YAMAGUCHI <[EMAIL PROTECTED]> - GNU Project PGP fingerprint: D1CB 0B89 B346 4AB6 5663 C4B6 3CA5 BBB3 57BE DDA3 _______________________________________________ Bug-global mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-global
