save file

Author: javascript-2020

utils/misc/nodejs-terminal/v3.0/nodejs-terminal-v3.0.html

@@ -53,7 +53,7 @@
                                                                                 console.json=v=>console.log(JSON.stringify(v,null,4));
                                                                                 console.hex=v=>console.log(v,'Hex:',[...v].map(c=>c.charCodeAt(0).toString(16).padStart(2,'0')).join(' '));
         var version='v3.0';
-        var df=true;
+        var df=true,did='html';
 
 /*
         var ext;