e44bf908b4a3395a36fd6e5e734803c54aca0da2
32 function divine_format() {
33 var filename
= $('#prog')[0].value
;
34 var ext
= /\.([^.]*)$/.exec(filename
)[1];
37 $('#prog_format')[0].value
= ext_table
[ext
];
41 $('#prog').on('change', divine_format
);
This page took 0.023259 seconds and 3 git commands to generate.