|  Nathalie Furmento | 719c3f62d4
							
							update copyright holders | 5 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 | 8 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 |