Skip to content
This repository has been archived by the owner on Aug 30, 2018. It is now read-only.

Replace settings.html with settings_schema.json #391

Closed
fredryk opened this issue Apr 13, 2015 · 0 comments · Fixed by #396
Closed

Replace settings.html with settings_schema.json #391

fredryk opened this issue Apr 13, 2015 · 0 comments · Fixed by #396

Comments

@fredryk
Copy link

fredryk commented Apr 13, 2015

We should be able to safely remove settings.html, and replace it with settings_schema.json now. The compiler should be used to generate the schema file, and then we'll adjust it as needed.

We should also add an info section, as outlined here.

cc/ @Thibaut @cshold

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant