> From: ludo@gnu.org (Ludovic Courtès) > Date: Fri, 07 Feb 2014 16:36:42 +0100 > > Stan Shebs <stanshebs@earthlink.net> skribis: > > > Here is the official patch for the introduction of Doxygen that I > > proposed last fall. > > What would happen to gdbint.info? It was deleted already, see the GDB 7.7 tarball.