diff options
| author | Robin Mueller <31589589+robamu@users.noreply.github.com> | 2024-09-18 15:14:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-18 13:14:28 +0000 |
| commit | d81c3758d5633c22342cb60069243243f9d38df5 (patch) | |
| tree | 75df821f15cef60ebca5f0aa4bdaedf72a07870b /check-book.sh | |
| parent | 67c22862f67c28b6313d9812b6bf6018764f18e0 (diff) | |
update docs (#977)
Add notice for systems without native CAS operations
Diffstat (limited to 'check-book.sh')
0 files changed, 0 insertions, 0 deletions
