Gildas 31e35bb1e9 add option "save original URLs of embedded resources" vor 4 Jahren
..
core 31e35bb1e9 add option "save original URLs of embedded resources" vor 4 Jahren
lib b0fffdf57b update key vor 4 Jahren
ui 31e35bb1e9 add option "save original URLs of embedded resources" vor 4 Jahren
index.js 4bb39b6541 make sure SingleFile global variable is set (fix #701) vor 4 Jahren