diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-02-26 11:39:17 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-02-26 13:27:45 +0100 |
| commit | 0043c54fb34c8d529e0e6304a1a9cc1e80a23010 (patch) | |
| tree | c2b79c818835f4ec6d95827fdc393df04c087445 /log/build.log | |
| parent | 5a40437e5c2a6dd4650f640c819819df3d1dbdac (diff) | |
Improve documentation of the format
Diffstat (limited to 'log/build.log')
0 files changed, 0 insertions, 0 deletions