diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-04-18 16:09:24 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-04-18 17:38:09 -0700 |
| commit | 29884ba3073800c4b2c9e42240d28d02b830f036 (patch) | |
| tree | 9f36713d16952413280166d0c493f705e99c9df6 /packaging/ubuntu/debian/docs | |
| parent | ef947ffc1f8487d65092547be9507dc20809cb6a (diff) | |
| download | subsurface-29884ba3073800c4b2c9e42240d28d02b830f036.tar.gz | |
build-system: remove references to docs we no longer ship
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'packaging/ubuntu/debian/docs')
| -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 |