diff options
Diffstat (limited to 'packaging/ubuntu/debian/docs')
| -rw-r--r-- | packaging/ubuntu/debian/docs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/packaging/ubuntu/debian/docs b/packaging/ubuntu/debian/docs new file mode 100644 index 000000000..40dc76e3f --- /dev/null +++ b/packaging/ubuntu/debian/docs @@ -0,0 +1,7 @@ +gpl-2.0.txt +README +Readme.testing +Readme.ubuntu +ReleaseNotes.txt +SupportedDivecomputers.txt +TODO.CCR |