diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-03-02 18:03:54 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-03-02 18:03:54 +0100 |
| commit | 2bb59c88d49b193f278916ad9cc4de83c0de9604 (patch) | |
| tree | f286bba254d7c5f2d32eeb2b11f6148938b0e1e1 /check.log | |
| parent | 351248d07f810ccb6c497633a02cd48ee35526e6 (diff) | |
Make tests more platform independent, update docs
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions