3b0943fab6d2926ee550eca2af22cfed094c4bd8
34 function divine_format() {
35 const filename
= q('#prog').value
;
36 const ext
= /\.([^.]*)$/.exec(filename
)[1];
39 q('#prog_format').value
= ext_table
[ext
];
42 $(() => $('#prog').on('change', divine_format
));
This page took 0.021566 seconds and 3 git commands to generate.