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