|  Nathalie Furmento | 719c3f62d4
							
							update copyright holders | vor 5 Jahren | 
				
					
						|  Nathalie Furmento | b545befdc2
							
							doc: minor fixes | vor 6 Jahren | 
				
					
						|  Nathalie Furmento | f7abbfa6fc
							
							update copyright | vor 7 Jahren | 
				
					
						|  Nathalie Furmento | 5baf04e626
							
							doc: fix copyrights | vor 7 Jahren | 
				
					
						|  Nathalie Furmento | 3c382a8190
							
							doc: fix copyright holder name | vor 7 Jahren | 
				
					
						|  Nathalie Furmento | 64099c1dda
							
							add missing copyright | vor 7 Jahren | 
				
					
						|  Nathalie Furmento | 5b18261bf6
							
							doc: fix copyright syntax | vor 7 Jahren | 
				
					
						|  Nathalie Furmento | aae4029d83
							
							INRIA is now called Inria | vor 8 Jahren | 
				
					
						|  Samuel Thibault | a799c463df
							
							document the potential bug | vor 9 Jahren | 
				
					
						|  Samuel Thibault | 71552afed8
							
							for debugging, do not use enable-fast | vor 9 Jahren | 
				
					
						|  Nathalie Furmento | 911797a49a
							
							doc: corrections | vor 9 Jahren | 
				
					
						|  Nathalie Furmento | 3bd9664c1c
							
							doc: rename files to have a html documentation generated with the correct order | vor 9 Jahren |