save file

Author: javascript-2020

blog/25-08-27/how-to-download-a-github-directory/how-to-download-a-github-directory.html

@@ -85,6 +85,9 @@
                                                                                 debug('init',version);
               menu    = menumod();
 
+              mod.base.add({ext,$,datatype,keydown,menu,menumod,ace});
+              
+
               hdr                             = mod['blog-hdr'];
               snippet['full-ex']              = mod['full-ex'];
               snippet['data-structure']       = mod['data-structure'];