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 /core | |
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 'core')
0 files changed, 0 insertions, 0 deletions