Update stage1Only docs
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 5 Nov 2017 13:40:47 +0000 (13:40 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 5 Nov 2017 13:40:47 +0000 (13:40 +0000)
commit4fd94c3fc74e2b48d0ba4b8a1ddd6a42bc421c11
tree248d3b449759851a5cfd7846903809e1558b7bd6
parent3bac585ed286936e5eb1cd686dbb24220c5e4d16
Update stage1Only docs

See #440
doc/user-settings.md
src/UserSettings.hs