diff options
Diffstat (limited to 'entities/dejagnu.ent')
| -rw-r--r-- | entities/dejagnu.ent | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/entities/dejagnu.ent b/entities/dejagnu.ent deleted file mode 100644 index 563e995d3..000000000 --- a/entities/dejagnu.ent +++ /dev/null @@ -1,16 +0,0 @@ -<!ENTITY c5-dejagnu SYSTEM "../chapter05/dejagnu.xml"> - -<!ENTITY aa-dejagnu-shortdesc SYSTEM "../appendixa/dejagnu-shortdesc.xml"> -<!ENTITY aa-dejagnu-desc SYSTEM "../appendixa/dejagnu-desc.xml"> -<!ENTITY aa-dejagnu-dep SYSTEM "../appendixa/dejagnu-dep.xml"> -<!ENTITY aa-dejagnu-down SYSTEM "../appendixa/dejagnu-down.xml"> - -<!ENTITY dejagnu-version "1.4.4"> -<!ENTITY dejagnu-depversion "1.4.3"> -<!ENTITY dejagnu-contversion "1.4.3"> -<!ENTITY dejagnu-dir "dejagnu-&dejagnu-version;"> -<!ENTITY dejagnu-package "dejagnu-&dejagnu-version;.tar.gz"> -<!ENTITY dejagnu-size "1,055 KB"> - -<!ENTITY dejagnu-compsize-tools "8.6 MB"> -<!ENTITY dejagnu-time-tools "0.1 SBU"> |