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 /theme/jquery.min.js | |
| 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 'theme/jquery.min.js')
0 files changed, 0 insertions, 0 deletions