From ec66a419a3cb71a8289c4567f3e7d70f9dc16065 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Fri, 20 Aug 1999 19:31:35 +0000 Subject: Now formats. --- doc/FAQ/hwdebugaids.t | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/FAQ/hwdebugaids.t') diff --git a/doc/FAQ/hwdebugaids.t b/doc/FAQ/hwdebugaids.t index 88f5c668f9..59a5a1a2b1 100644 --- a/doc/FAQ/hwdebugaids.t +++ b/doc/FAQ/hwdebugaids.t @@ -44,7 +44,7 @@ available at http://www.zeecube.com/bdm. The efi332 project has a home-built BDM module and gdb backend for Linux. See http://efi332.eng.ohio-state.edu/efi332/hardware.html) for details. The device driver and gdb backend are based on those -by Gunter Magin (magin@skil.camelot.de) available from +by Gunter Magin (magin@@skil.camelot.de) available from ftp.lpr.e-technik.tu-muenchen.de. Pavel Pisa (pisa@@cmp.felk.cvut.cz) has one available at -- cgit v1.2.3