Strip the extension from a pathname
String_Type path_sans_extname (String_Type path)
The path_sans_extname function removes the file name extension (including the dot) from the path and returns the result.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}