aboutsummaryrefslogtreecommitdiff
path: root/docs/options.md
diff options
context:
space:
mode:
authorRunasSudo <runassudo@yingtongli.me>2021-10-29 23:07:38 +1100
committerRunasSudo <runassudo@yingtongli.me>2021-10-29 23:33:27 +1100
commit6304e1128a93d2d254c10fd634cfc3fedccc2a19 (patch)
treef263c6dd4113f414f325a7056022752396e1a5ad /docs/options.md
parentba8282804639c4a9274c31f61757be34927070ab (diff)
Validate well-formedness of constraints, better constraint errors
Diffstat (limited to 'docs/options.md')
0 files changed, 0 insertions, 0 deletions
Contact (issues, pull requests, etc.) at git@yingtongli.me. Generated by cgit.