Dave Page c548eac5ef Append the file suffix to filenames when needed in the File Create dialogue. Fixes #4069

2019-03-14 15:48:21 +00:00

..

static

Append the file suffix to filenames when needed in the File Create dialogue. Fixes #4069

2019-03-14 15:48:21 +00:00

templates/file_manager

Append the file suffix to filenames when needed in the File Create dialogue. Fixes #4069

2019-03-14 15:48:21 +00:00

__init__.py

Further styling fixes.

2019-01-03 14:50:24 +00:00