mirror of
				https://github.com/MariaDB/server.git
				synced 2025-11-03 14:33:32 +03:00 
			
		
		
		
	
		
			
				
	
	
		
			7 lines
		
	
	
		
			114 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			7 lines
		
	
	
		
			114 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
-- source include/have_innodb.inc
 | 
						|
 | 
						|
let $type= 'INNODB' ;
 | 
						|
let $extra_index= ;
 | 
						|
-- source include/rpl_row_basic.inc
 | 
						|
 |