diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2015-06-17 12:39:40 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2015-06-17 12:39:40 -0700 |
| commit | befa8cf32e28b9520ed71a70655599b3c640f9d2 (patch) | |
| tree | 3d8da9c93aac941458abd1d525eb029fb8846221 /version.h | |
| parent | b345db0a647d4bdecd378a9f953c6df3aa0c1b74 (diff) | |
| download | subsurface-befa8cf32e28b9520ed71a70655599b3c640f9d2.tar.gz | |
HTML standalone exporter: don't setup preferences
We don't need them and they can cause the application to crash when called
in a git hook.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'version.h')
0 files changed, 0 insertions, 0 deletions