Revert executable rename #12

Merged
medvedych merged 1 commit from revert_executable_rename into master 2023-11-20 22:31:57 +03:00

1 commit

Author SHA1 Message Date
f8ffedb5db Revert executable rename 2023-11-20 19:31:56 +00:00