You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Before we were using just the basename as a command identifier, but
this meant that windows commands with .exe extensions were not the same
as linux ones. The command identifier is now the basename without the
extension, which should fix this problem.
fixes#64
Before we were using just the basename as a command identifier, but
this meant that windows commands with .exe extensions were not the same
as linux ones. The command identifier is now the basename without the
extension, which should fix this problem.
fixes#64
No description provided.
The text was updated successfully, but these errors were encountered: