summaryrefslogtreecommitdiff
path: root/source_repositories
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2014-01-08 09:53:07 +0100
committerThomas Schwinge <thomas@schwinge.name>2014-01-08 09:57:26 +0100
commit5eae892921e0f46d2515891d832243f9235e85cc (patch)
treec0fae4a828aa928e7f9da4f6cb5d7b19b6432702 /source_repositories
parentc7bc00107a3126bf27a622faa8681902eaae0acf (diff)
source_repositories/gdb: Remove.
Diffstat (limited to 'source_repositories')
-rw-r--r--source_repositories/gdb.mdwn22
1 files changed, 0 insertions, 22 deletions
diff --git a/source_repositories/gdb.mdwn b/source_repositories/gdb.mdwn
deleted file mode 100644
index 7418f5e4..00000000
--- a/source_repositories/gdb.mdwn
+++ /dev/null
@@ -1,22 +0,0 @@
-[[!meta copyright="Copyright © 2010, 2011, 2012 Free Software Foundation,
-Inc."]]
-
-[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
-id="license" text="Permission is granted to copy, distribute and/or modify this
-document under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no Invariant
-Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
-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`.
-
-<!--
-
-No longer, but can't accesss/remove at the moment.
-
-This repository uses [[TopGit]] and is based on
-<http://sourceware.org/git/?p=gdb.git;a=summary>.
-
--->