diff options
| author | Julien Dessaux | 2022-09-08 19:59:40 +0200 |
|---|---|---|
| committer | Julien Dessaux | 2022-09-08 19:59:40 +0200 |
| commit | d49bcbec73654fa6018274e9daf1314375b08363 (patch) | |
| tree | b0a6bd3617f53485a7df7f3cb72b744eeed19ec7 /Makefile | |
| parent | Moved away from job parameters to command arguments (diff) | |
| download | ev-scripts-d49bcbec73654fa6018274e9daf1314375b08363.tar.gz ev-scripts-d49bcbec73654fa6018274e9daf1314375b08363.tar.bz2 ev-scripts-d49bcbec73654fa6018274e9daf1314375b08363.zip | |
Added mirror to github script and job
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions