diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2017-02-05 12:44:11 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-02-05 12:44:11 -0800 |
commit | f6cd21ce5a450f8b3ba9cf844559c26f803ac38b (patch) | |
tree | a22b1d00d129e095c0a04a657acaa0e991f8f551 /scripts/check-version | |
parent | 0277d5aacc27893220c5914778896d2b4d14aa82 (diff) | |
download | subsurface-f6cd21ce5a450f8b3ba9cf844559c26f803ac38b.tar.gz |
Finish removal of informational_prefs
And make export-html build again.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/check-version')
0 files changed, 0 insertions, 0 deletions