Change timestamp to human readable format about headereditor HOT 4 CLOSED

Added d0fdd8e

from headereditor.

Just tried, works fine except the individual group exports still exports using old timestamp method.

One minor thing but is it possible to keep the export name as "headereditor-2017-10-10_12.00.00.json" instead "HE-2017-10-10_12.00.00.json"? I find that makes it a little easier when searching for a backup file using keyword

from headereditor.

I think "headereditor" is too long...

from headereditor.

I personally think even though it is a little long it is ok but it's your choice.

Also, for the individual group exports if you can append the group name it will be good as all backups have same name. So like "HE-2017-10-10_12.00.00-groupname.json"

from headereditor.