summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-09-22 10:06:28 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-09-22 11:35:05 +0200
commitb88aac8b26de977f17e27645fd3d0412a6420f53 (patch)
treea84ec800e37255d0ce4cd8062a61d33d7a7127d9 /scripts
parent9ed8adac1ccac3bd391d474eb6aa25c1e88190ba (diff)
Re-add support for disabling some hint types
Experiment descriptor to select allowed hint types is {'id': 'hints', 'group': 'none|automatic|manual|all'} and works for all languages.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions