diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-15 14:43:07 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-15 14:43:07 +0200 |
| commit | 50ea6d11f8c79218c98ee8ae56d8bdcd42cc703a (patch) | |
| tree | d154a7abd9cba6be23f617e10d4d1a26da71b7a4 /log/check_dev.log | |
| parent | c705a294113ee74a8d408b8b51e4eb2b2822b3a7 (diff) | |
Don't try(mkinpredict), it would still error later
Diffstat (limited to 'log/check_dev.log')
0 files changed, 0 insertions, 0 deletions