aboutsummaryrefslogtreecommitdiff
path: root/check.log
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2020-05-08 17:36:04 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2020-05-08 17:36:04 +0200
commit7b9f11562fa9ab8a023f47e6b99a2562b668e48c (patch)
tree1ee12f8b84773781117ce67c96c8e21b7c7a99a2 /check.log
parentea9b76c667620d75c5aeb4077117e722ed0bc3d6 (diff)
Profiling suggests the merge in mkinfit is the bottleneck
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint