diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-09-21 11:43:12 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-09-21 11:43:12 (EDT) |
| commit | c8d6ad03713bc5522f57846a4d75de1d74b4ddda (patch) | |
| tree | 89ff8f1a4d3779f5f0a49aad771c1ac0b7a2f5c5 | |
| parent | 7e296a9cac936f831015348034f2cdde842722c2 (diff) | |
dejagnu: Add source package documentation.
| -rw-r--r-- | dejagnu.pkg/docs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dejagnu.pkg/docs b/dejagnu.pkg/docs new file mode 100644 index 0000000..3c2c17c --- /dev/null +++ b/dejagnu.pkg/docs @@ -0,0 +1,5 @@ +src/AUTHORS +src/ChangeLog* +src/MAINTAINERS +src/NEWS +src/README |