Find the extension for a file

Find the extension for a file

Usage

get_extension(filename)

Arguments

filename

A string representing the name of a file in its local directory

Value

The the file extension of `filename`