drop obsolete documentation #868

Merged
clan-bot merged 1 commits from Mic92-main into main 2024-02-21 15:54:47 +00:00
Owner
No description provided.
clan-bot was assigned by Mic92 2024-02-21 15:52:04 +00:00
Mic92 added 1 commit 2024-02-21 15:52:04 +00:00
checks-impure / test (pull_request) Successful in 2m12s Details
checks / test (pull_request) Successful in 2m31s Details
537a1ae87f
drop obsolete documentation
clan-bot merged commit e8d4cd9936 into main 2024-02-21 15:54:47 +00:00
Sign in to join this conversation.
No description provided.