Gildas 87796d1109 made compatible with Opera vor 7 Jahren
..
options.js 8b8ee80234 added an option to append the save date to the filename vor 7 Jahren
ui.js 87796d1109 made compatible with Opera vor 7 Jahren