| 
									
										
										
										
											2015-07-13 11:27:14 +00:00
										 |  |  | ## @id $Id$ | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | # This file has been added by bootstrap.sh on Mon, 13 July 2015 12:42:59 +0200 | 
					
						
							|  |  |  | # Feel free to change it or even remove and rebuild it, up to your needs | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | ##       1         2         3         4         5         6         7         8 | 
					
						
							|  |  |  | ## 45678901234567890123456789012345678901234567890123456789012345678901234567890 | 
					
						
							| 
									
										
										
										
											2010-04-15 12:48:19 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-02-19 08:45:38 +00:00
										 |  |  | %: | 
					
						
							|  |  |  | 	dh $@ |