From 29884ba3073800c4b2c9e42240d28d02b830f036 Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Sat, 18 Apr 2020 16:09:24 -0700 Subject: [PATCH] build-system: remove references to docs we no longer ship Signed-off-by: Dirk Hohndel --- packaging/ubuntu/debian/docs | 2 -- 1 file changed, 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