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 /theme | |
| 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 'theme')
0 files changed, 0 insertions, 0 deletions