diff options
| author | Florian Diebold <[email protected]> | 2019-05-01 16:13:33 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-05-04 17:18:30 +0100 |
| commit | ef77d8375130d12678d4b2316cc1708c90349dad (patch) | |
| tree | 37f495100cfcb5a8ce9e0bae8ed4fc50e3b49d80 /docs/user | |
| parent | c8a643f090ed88289c7bc17b48078e39b932c8a4 (diff) | |
Document the peculiarity of the solver query a bit
Also remove the only remaining mention of chalk outside of the ty::traits
module.
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions