change the binary name #18

Merged
anas-elgarhy merged 1 commit from change-binary-name into master 2023-05-11 11:02:20 +00:00
No description provided.