diff options
Diffstat (limited to 'appendixa/dejagnu-down.xml')
| -rw-r--r-- | appendixa/dejagnu-down.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/appendixa/dejagnu-down.xml b/appendixa/dejagnu-down.xml deleted file mode 100644 index 8432777a5..000000000 --- a/appendixa/dejagnu-down.xml +++ /dev/null @@ -1,2 +0,0 @@ -<literallayout>Official download location for DejaGnu (&dejagnu-version;): -<ulink url="ftp://ftp.gnu.org/gnu/dejagnu/"/></literallayout> |