diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2017-07-29 07:23:31 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-07-29 07:23:31 -0700 |
commit | 3cd584e1372afcd9e66152b5ca2bb50d6fa95eba (patch) | |
tree | eae7d291ad23b07e57c0612eb72aed20b9e8c280 /gpl-2.0.txt | |
parent | c7cd76bae31e018e41031df378d447825b469026 (diff) | |
download | subsurface-3cd584e1372afcd9e66152b5ca2bb50d6fa95eba.tar.gz |
Travis: build without WebKit by default
All these hacks are no longer needed.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'gpl-2.0.txt')
0 files changed, 0 insertions, 0 deletions