diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-09-22 10:06:28 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-09-22 11:35:05 +0200 |
| commit | b88aac8b26de977f17e27645fd3d0412a6420f53 (patch) | |
| tree | a84ec800e37255d0ce4cd8062a61d33d7a7127d9 /scripts/utils.py | |
| parent | 9ed8adac1ccac3bd391d474eb6aa25c1e88190ba (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/utils.py')
0 files changed, 0 insertions, 0 deletions