bug#41823: broken links in https://www.gnu.org/software/dejagnu/#lists

[Rob Savoye]

  I fixed the links on the webpage, after remembering how to use CVS...

        - rob -



_______________________________________________
Bug-dejagnu mailing list
Bug-dejagnu@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-dejagnu