lkrsnik/STARK
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Changed config.ini settings

Browse Source
This commit is contained in:
Luka 2019-11-05 09:06:21 +01:00
parent 2476628087
commit 053a1d70d1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dependency-parsetree.py
View File

@ -260,7 +260,7 @@ def main():
result_dict = {}
filters = {}
filters['node_order'] = config.getboolean('settings', 'node_order')
filters['node_order'] = config.get('settings', 'node_order') == 'fixed'
# for tree in all_trees[2:]:
# for tree in all_trees[1205:]: