From 5eae892921e0f46d2515891d832243f9235e85cc Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@codesourcery.com>
Date: Wed, 8 Jan 2014 09:53:07 +0100
Subject: source_repositories/gdb: Remove.

---
 source_repositories/gdb.mdwn | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 source_repositories/gdb.mdwn

(limited to 'source_repositories/gdb.mdwn')

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>.
-
--->
-- 
cgit v1.2.3