 Denys Vlasenko
		
	
	349d72c19c
	
	
	unzip: use printable_string() for printing filenames
			Denys Vlasenko
		
	
	349d72c19c
	
	
	unzip: use printable_string() for printing filenames
		
			
			function                                             old     new   delta
unzip_main                                          2726    2792     +66
printable_string2                                      -      57     +57
identify                                            4329    4336      +7
expmeta                                              659     663      +4
add_interface                                         99     103      +4
beep_main                                            286     289      +3
changepath                                           192     194      +2
builtin_type                                         115     117      +2
devmem_main                                          469     470      +1
input_tab                                           1076    1074      -2
create_J                                            1821    1819      -2
poplocalvars                                         314     311      -3
doCommands                                          2222    2214      -8
do_load                                              918     902     -16
printable_string                                      57       9     -48
------------------------------------------------------------------------------
(add/remove: 1/0 grow/shrink: 8/6 up/down: 146/-79)            Total: 67 bytes
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
		
	
 
		2018-09-30 16:56:56 +02:00
	 
	
	
	
		 ..
	
	
	
		
			
			
			
			
			
			2018-05-25 17:03:46 +02:00
		 
	
		
			
			
			
			
			
			2017-09-18 16:28:43 +02:00
		 
	
		
	
		
	
		
	
		
			
			
			
			
			
			2018-02-01 09:13:14 +01:00
		 
	
		
			
			
			
			
			
			2018-02-07 01:33:25 +01:00
		 
	
		
			
			
			
			
			
			2018-06-06 15:16:48 +02:00
		 
	
		
			
			
			
			
			
			2018-07-06 20:50:30 +02:00
		 
	
		
			
			
			
			
			
			2017-09-18 16:28:43 +02:00
		 
	
		
			
			
			
			
			
			2017-09-18 16:28:43 +02:00
		 
	
		
			
			
			
			
			
			2018-07-24 21:12:58 +02:00
		 
	
		
			
			
			
			
			
			2015-10-16 17:24:46 +02:00
		 
	
		
			
			
			
			
			
			2018-04-08 16:44:45 +02:00
		 
	
		
			
			
			
			
			
			2017-08-22 15:33:04 +02:00
		 
	
		
			
			
			
			
			
			2010-08-16 20:14:46 +02:00
		 
	
		
			
			
			
			
			
			2017-07-24 17:20:13 +02:00
		 
	
		
			
			
			
			
			
			2018-08-04 21:06:02 +02:00
		 
	
		
			
			
			
			
			
			2018-09-30 16:56:56 +02:00