mirror of
				https://github.com/MariaDB/server.git
				synced 2025-10-31 10:56:12 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			5 lines
		
	
	
	
		
			182 B
		
	
	
	
		
			PHP
		
	
	
	
	
	
			
		
		
	
	
			5 lines
		
	
	
	
		
			182 B
		
	
	
	
		
			PHP
		
	
	
	
	
	
| # Now the number of variables for the release and debug versions
 | |
| # of the library is equal to each other...
 | |
| --let $galera_variables_delta=0
 | |
| 
 | |
| --source include/galera_variables_ok.inc
 | 
