> The reason this function was introduced is that there was no method for > converting the path of the non-source file into file id in CGI script. > Since it became possible now, worth of this function decreased. > And it is not so much useful to saving of the execution time of htags. > I propose removing support of "global.cgi?pattern=PATH?type=source."
I agree. -- Shigio YAMAGUCHI <[EMAIL PROTECTED]> - Tama Communications Corporation 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
