tree a67ec70f0e80e5e4b59d6a960c5127ede3ccb522
parent 30f66f16a35dee7f708aad9d94779a89ccc4eae3
author Johan Euphrosine <proppy@google.com> 1669348840 +0900
committer Johan Euphrosine <proppy@google.com> 1669348840 +0900

configure: remove wokwi suffix from filename