Dirk Hohndel f6cd21ce5a Finish removal of informational_prefs
And make export-html build again.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2017-02-05 12:44:11 -08:00
..
2017-02-03 15:01:15 -08:00
2017-01-06 20:43:23 -08:00
2016-09-20 09:26:35 -07:00
2017-02-05 11:59:47 -08:00
2016-08-10 15:08:51 -07:00
2016-11-09 06:33:45 -08:00
2017-02-03 09:35:01 -08:00
2017-02-03 15:01:15 -08:00
2016-12-31 09:56:08 +02:00
2017-01-06 20:43:23 -08:00
2016-04-20 16:00:28 -07:00
2017-01-06 20:43:23 -08:00
2017-01-06 20:43:23 -08:00
2016-04-29 09:07:17 -07:00
2016-04-29 09:07:17 -07:00
2017-02-03 15:04:51 -08:00
2016-04-29 09:07:17 -07:00