a842de1353c790ea649ba05cdfff7ce53f67a178
32 function divine_format() {
33 const filename
= q('#prog').value
;
34 const ext
= /\.([^.]*)$/.exec(filename
)[1];
37 q('#prog_format').value
= ext_table
[ext
];
40 $(() => $('#prog').on('change', divine_format
));
This page took 0.021869 seconds and 3 git commands to generate.