diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-07-05 17:13:46 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-07-05 17:13:46 +0200 |
| commit | b0f260d3f9335ad3e6786c844d0365ed365b35c3 (patch) | |
| tree | 7b2163dbd3be44447723108d90ec43be740e0ab2 /source_repositories | |
| parent | 345f852afe0b183f1336e00a69ef68c3445ee993 (diff) | |
open_issues/gdb_head: No longer reproducible.
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>. |