diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-06 09:42:58 +0200 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-07 14:00:45 -0700 |
| commit | 5c2181daa796b50901272cb74843cf575c3e90eb (patch) | |
| tree | 8388699abd275501a45572618a27b83a494ebb7f /.github | |
| parent | a83a2d8b1f1609b3ad6f2eef5fa5c0202bae41e5 (diff) | |
| download | subsurface-5c2181daa796b50901272cb74843cf575c3e90eb.tar.gz | |
build-system: remove support for local cloning in build.sh
It wasn't documented in the first place (magic first argument, anyone?).
This used to be available for quite a few of the dependency and had
somehow kept around only for Grantlee and Googlemaps. Let's just kill
this and be consistent for all dependencies.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions