contrib: set execute permission · 2f2067f0d7 - MicroLab Git Service

contrib: set execute permission

Nathalie Furmento 4 years ago

parent

00db514723

commit

2f2067f0d7

2 changed files with 0 additions and 0 deletions

Split View Show Diff Stats

						
							+ 0
							
							- 0
						
contrib/ci.inria.fr/job-1-build-windows.sh
							 
								View File

						
							+ 0
							
							- 0
						
contrib/ci.inria.fr/job-1-check.sh
							 
								View File