mirror of
https://github.com/WinampDesktop/winamp.git
synced 2025-01-05 22:11:56 -05:00
463 B
Vendored
463 B
Vendored
Replace the file extension.
path.replaceextension("path", "new_extension")
Parameters
path
is the file system path on which the extension should be replaced. new_extension
is the replacement file extension.
Return Value
A new file system path with the replaced extension.
Availability
Premake 5.0 or later.