diff options
| -rw-r--r-- | packaging/ubuntu/debian/docs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/packaging/ubuntu/debian/docs b/packaging/ubuntu/debian/docs index c7b3a8e54..bd00380b0 100644 --- a/packaging/ubuntu/debian/docs +++ b/packaging/ubuntu/debian/docs @@ -1,7 +1,5 @@ gpl-2.0.txt README.md -Readme.testing Readme.ubuntu ReleaseNotes/ReleaseNotes.txt SupportedDivecomputers.txt -TODO.CCR |