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