diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-08 17:36:04 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-08 17:36:04 +0200 |
| commit | 7b9f11562fa9ab8a023f47e6b99a2562b668e48c (patch) | |
| tree | 1ee12f8b84773781117ce67c96c8e21b7c7a99a2 /check.log | |
| parent | ea9b76c667620d75c5aeb4077117e722ed0bc3d6 (diff) | |
Profiling suggests the merge in mkinfit is the bottleneck
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions