|  Nathalie Furmento | 271a7d9d0f
							
							update copyright holders | 5 年 前 | 
				
					
						|  Nathalie Furmento | f7abbfa6fc
							
							update copyright | 7 年 前 | 
				
					
						|  Nathalie Furmento | 4290b711d9
							
							contrib/ci.inria.fr: add developers documentation in stash | 7 年 前 | 
				
					
						|  Nathalie Furmento | 35d32ee030
							
							contrib: set copyright | 7 年 前 | 
				
					
						|  Nathalie Furmento | 932b5e0af2
							
							contrib: move files out of build directory | 7 年 前 | 
				
					
						|  Nathalie Furmento | 3078b0954c
							
							contrib: fix doc stashing | 7 年 前 | 
				
					
						|  Nathalie Furmento | 0fc18e3b38
							
							contrib: update tarball script to delete previous build directory | 7 年 前 | 
				
					
						|  Nathalie Furmento | 86bd8fdedd
							
							contrib: delete previous build directory | 7 年 前 | 
				
					
						|  Nathalie Furmento | 8006d1f4cb
							
							contrib: update tarball script | 7 年 前 | 
				
					
						|  Nathalie Furmento | e0ed924373
							
							contrib: set execute permission for script | 7 年 前 | 
				
					
						|  Nathalie Furmento | e84f128cd5
							
							contrib: add script to build tarball | 7 年 前 |