mirror of
				https://github.com/MariaDB/server.git
				synced 2025-10-31 19:06:14 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			4 lines
		
	
	
	
		
			157 B
		
	
	
	
		
			HTML
		
	
	
	
	
	
			
		
		
	
	
			4 lines
		
	
	
	
		
			157 B
		
	
	
	
		
			HTML
		
	
	
	
	
	
| # The goal of including this file is to enable innodb_page_size combinations
 | |
| # (see include/innodb_page_size.combinations)
 | |
| 
 | |
| --source include/have_innodb.inc
 | 
