Not specifying the file extension when saving an FSTAR file makes it's extension blank #7

Closed
opened 2024-07-21 16:00:29 -04:00 by bonkmaykr · 0 comments
Owner

Title is self explanatory.

Easy fix.

Title is self explanatory. Easy fix.
bonkmaykr added the
bug
label 2024-07-21 16:00:29 -04:00
bonkmaykr added reference refs/tags/dekka-1.2 2024-07-26 06:31:40 -04:00
Wirlaburla referenced this issue from a commit 2024-07-29 00:40:59 -04:00
Sign in to join this conversation.
No description provided.