-
mark authored
- add an extension to the file name - remove a file extension - check if a file name has an extension - check if a file name has a particular extension (as word), or matches a particular grouping of extensions (as wordRe).
dd1c0d97
- add an extension to the file name - remove a file extension - check if a file name has an extension - check if a file name has a particular extension (as word), or matches a particular grouping of extensions (as wordRe).