diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-04-21 20:34:44 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-04-25 13:18:41 -0700 |
| commit | b0d2e5c737192ff9b336d423481c5095879a5680 (patch) | |
| tree | b972fd560116a8d6ea15d3baf8febaf7e7a75657 /scripts/linux | |
| parent | 212da3d92fccc8c694ef069288dd833d2bef0259 (diff) | |
| download | subsurface-b0d2e5c737192ff9b336d423481c5095879a5680.tar.gz | |
build-system/Android: don't bundle the user manual
That wouldn't work, anyway.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/linux')
0 files changed, 0 insertions, 0 deletions