| 
									
										
										
										
											2015-11-14 11:43:22 +00:00
										 |  |  | ## @id $Id$ | 
					
						
							|  |  |  | ## | 
					
						
							|  |  |  | ## This file has been added: | 
					
						
							|  |  |  | ##  - by bootstrap.sh | 
					
						
							| 
									
										
										
										
											2017-03-10 20:42:46 +00:00
										 |  |  | ##  -  on Fri, 10 March 2017 21:06:52 +0100 | 
					
						
							| 
									
										
										
										
											2015-11-14 11:43:22 +00:00
										 |  |  | ## Feel free to change it or even remove and rebuild it, up to your needs | 
					
						
							|  |  |  | ## | 
					
						
							|  |  |  | ##       1         2         3         4         5         6         7         8 | 
					
						
							|  |  |  | ## 45678901234567890123456789012345678901234567890123456789012345678901234567890 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | %: | 
					
						
							|  |  |  | 	dh $@ |