fix for different profiles.json format
authorMoritz Warning <moritzwarning@web.de>
Sun, 24 May 2020 21:45:34 +0000 (23:45 +0200)
committerMoritz Warning <moritzwarning@web.de>
Sun, 24 May 2020 21:45:34 +0000 (23:45 +0200)
commit50da32c5f711c45a31f3113f1706e51ae9ea2a15
treebc9ddf2be9ffc7a7a99a4545bac9818d45d84226
parent065bc72a85668c53ac4d606c8a5e2b598a1bae3b
fix for different profiles.json format
misc/collect.py