f8bd6a9bc47ce25e3a312bf1912c58434b246d0f
44 function divine_format() {
45 const filename
= q('#prog').value
;
46 const ext
= /\.([^.]*)$/.exec(filename
)[1];
49 q('#prog_format').value
= ext_table
[ext
];
52 $(() => $('#prog').on('change', divine_format
));
This page took 0.02272 seconds and 4 git commands to generate.