diff options
| author | Eduardo Julian | 2021-06-08 19:16:37 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-08 19:16:37 -0400 |
| commit | 486488ae17007406a6c90f182b85f7be14b6b373 (patch) | |
| tree | 51846bb2e61ee4547c754b879440529994d8cce6 /documentation/bookmark/tool/build_server_protocol.md | |
| parent | 920a1a35d4500391c9f69ac4ef4e90f53c7d4dfc (diff) | |
Improved formatting of compilation results (only for new compilers).
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions