diff options
| -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 |