contrib: set execute permission for script · e0ed924373 - MicroLab Git Service

Sfoglia il codice sorgente

contrib: set execute permission for script

Nathalie Furmento 7 anni fa

parent

e84f128cd5

commit

e0ed924373

1 ha cambiato i file con 0 aggiunte e 0 eliminazioni

Visualizzazione separata Mostra Diff Stats

						
							+ 0
							
							- 0
						
contrib/ci.inria.fr/job-0-tarball.sh
							 
								Vedi File