Commit 449e555b authored by van den Berg's avatar van den Berg
Browse files

Use the tools library to determine file extension

The previous code determined the extension by splitting the file path on a dot
(.), which failed when the file path contains dots in folder names.

This commit fixes issue #14
parent 4a0dc089
Pipeline #3886 passed with stages
in 52 minutes and 28 seconds