diff options
Diffstat (limited to 'source_repositories')
-rw-r--r-- | source_repositories/gdb.mdwn | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/source_repositories/gdb.mdwn b/source_repositories/gdb.mdwn index c68ddf81..76b82534 100644 --- a/source_repositories/gdb.mdwn +++ b/source_repositories/gdb.mdwn @@ -9,10 +9,7 @@ is included in the section entitled [[GNU Free Documentation License|/fdl]]."]]"""]] There is a repository for maintenance of [[/GDB]] for the Hurd's needs: -<!-- `grubber:~tschwinge/tmp/gdb/git`. ---> -it currently lives only on [[ŧschwinge]]'s infrastructure. This repository uses [[TopGit]] and is based on <http://sourceware.org/git/?p=gdb.git;a=summary>. |